| arg0 | an object |
| client_data | an object |
| index_callbacks | an object |
| index_callbacks_size | an object |
| index_options | an object |
| source_filename | an object |
| command_line_args | an object |
| num_command_line_args | an object |
| unsaved_files | an object |
| num_unsaved_files | an object |
| out_TU | an object |
| TU_options | an object |
| int | an object |