int __synctex_open(const char * output, char ** synctex_name_ref, gzFile * file_ref, synctex_bool_t add_quotes, synctex_io_mode_t * io_modeRef) {
# define synctex_name (*synctex_name_ref)
# define the_file (*file_ref)
int __synctex_open(const char * output, char ** synctex_name_ref, gzFile * file_ref, synctex_bool_t add_quotes, synctex_io_mode_t * io_modeRef) {
# define synctex_name (*synctex_name_ref)
# define the_file (*file_ref)