void Cyc_usage(struct Cyc___cycFILE * stream) { struct Cyc_String_pa_PrintArg_struct _T0; struct Cyc___cycFILE * _T1; struct _fat_ptr _T2; struct _fat_ptr _T3; { struct Cyc_String_pa_PrintArg_struct _T4; _T4.tag = 0; _T4.f1 = Cyc_program_name; _T0 = _T4; }{ struct Cyc_String_pa_PrintArg_struct _T4 = _T0; void * _T5[1]; _T5[0] = &_T4; _T1 = stream; _T2 = _tag_fat("Usage: %s [-dhklnTvyv] [-b file-prefix] [-o outfile] [-p name-prefix]\n [--debug] [--defines] [--fixed-output-files] [--no-lines]\n [--verbose] [--version] [--help] [--yacc]\n [--no-parser] [--token-table]\n [--file-prefix=prefix] [--name-prefix=prefix]\n [--output=outfile] grammar-file\n", sizeof(char),314U); _T3 = _tag_fat(_T5,sizeof(void *),1); Cyc_fprintf(_T1,_T2,_T3); } }
static void Cyc_Callgraph_print_fndecl(struct Cyc___cycFILE * f,struct Cyc_Absyn_Fndecl * fd) { struct Cyc_String_pa_PrintArg_struct _T0; struct Cyc_Absyn_Fndecl * _T1; struct _tuple0 * _T2; struct Cyc___cycFILE * _T3; struct _fat_ptr _T4; struct _fat_ptr _T5; { struct Cyc_String_pa_PrintArg_struct _T6; _T6.tag = 0; _T1 = fd; _T2 = _T1->name; _T6.f1 = Cyc_Absynpp_qvar2string(_T2); _T0 = _T6; }{ struct Cyc_String_pa_PrintArg_struct _T6 = _T0; void * _T7[1]; _T7[0] = &_T6; _T3 = f; _T4 = _tag_fat("%s ",sizeof(char),4U); _T5 = _tag_fat(_T7,sizeof(void *),1); Cyc_fprintf(_T3,_T4,_T5); } }
void Cyc_getargs(int argc,struct _fat_ptr argv) { int _T0; struct _fat_ptr _T1; struct _fat_ptr _T2; struct Cyc_option * _T3; struct _fat_ptr _T4; int _T5; int _T6; int _T7; int _T8; struct Cyc_String_pa_PrintArg_struct _T9; struct _fat_ptr _TA; struct _fat_ptr _TB; struct Cyc_String_pa_PrintArg_struct _TC; struct Cyc___cycFILE * _TD; struct _fat_ptr _TE; struct _fat_ptr _TF; int _T10; int _T11; struct Cyc_String_pa_PrintArg_struct _T12; struct Cyc_String_pa_PrintArg_struct _T13; struct _fat_ptr _T14; int _T15; unsigned char * _T16; struct _fat_ptr * _T17; struct Cyc___cycFILE * _T18; struct _fat_ptr _T19; struct _fat_ptr _T1A; struct _fat_ptr _T1B; int _T1C; unsigned char * _T1D; struct _fat_ptr * _T1E; register int c; Cyc_verboseflag = 0; Cyc_definesflag = 0; Cyc_debugflag = 0; Cyc_noparserflag = 0; Cyc_rawtoknumflag = 0; Cyc_toknumflag = 0; Cyc_fixed_outfiles = 0; _TL0: _T0 = argc; _T1 = argv; _T2 = _tag_fat("yvdhrltknVo:b:p:",sizeof(char),17U); _T3 = Cyc_longopts; _T4 = _tag_fat(_T3,sizeof(struct Cyc_option),16U); c = Cyc_getopt_long(_T0,_T1,_T2,_T4,0); _T5 = c; _T6 = - 1; if (_T5 != _T6) { goto _TL1; }else { goto _TL2; } _TL1: _T7 = c; _T8 = (int)_T7; switch (_T8) { case 0: goto _LL0; case 121: Cyc_fixed_outfiles = 1; goto _LL0; case 104: Cyc_usage(Cyc_stdout); exit(0); goto _LL0; case 86: { struct Cyc_String_pa_PrintArg_struct _T1F; _T1F.tag = 0; _T1F.f1 = Cyc_version_string; _T9 = _T1F; }{ struct Cyc_String_pa_PrintArg_struct _T1F = _T9; void * _T20[1]; _T20[0] = &_T1F; _TA = _tag_fat("%s",sizeof(char),3U); _TB = _tag_fat(_T20,sizeof(void *),1); Cyc_printf(_TA,_TB); }exit(0); goto _LL0; case 118: Cyc_verboseflag = 1; goto _LL0; case 100: Cyc_definesflag = 1; goto _LL0; case 108: Cyc_nolinesflag = 1; goto _LL0; case 107: Cyc_toknumflag = 1; goto _LL0; case 114: Cyc_rawtoknumflag = 1; goto _LL0; case 110: Cyc_noparserflag = 1; goto _LL0; case 116: Cyc_debugflag = 1; goto _LL0; case 111: Cyc_spec_outfile = Cyc_optarg; goto _LL0; case 98: Cyc_spec_file_prefix = Cyc_optarg; goto _LL0; case 112: Cyc_spec_name_prefix = Cyc_optarg; goto _LL0; default: Cyc_usage(Cyc_stderr); exit(1); goto _LL0; } _LL0: goto _TL0; _TL2: if (Cyc_optind != argc) { goto _TL4; } { struct Cyc_String_pa_PrintArg_struct _T1F; _T1F.tag = 0; _T1F.f1 = Cyc_program_name; _TC = _T1F; }{ struct Cyc_String_pa_PrintArg_struct _T1F = _TC; void * _T20[1]; _T20[0] = &_T1F; _TD = Cyc_stderr; _TE = _tag_fat("%s: no grammar file given\n",sizeof(char),27U); _TF = _tag_fat(_T20,sizeof(void *),1); Cyc_fprintf(_TD,_TE,_TF); }exit(1); goto _TL5; _TL4: _TL5: _T10 = Cyc_optind; _T11 = argc - 1; if (_T10 >= _T11) { goto _TL6; } { struct Cyc_String_pa_PrintArg_struct _T1F; _T1F.tag = 0; _T1F.f1 = Cyc_program_name; _T12 = _T1F; }{ struct Cyc_String_pa_PrintArg_struct _T1F = _T12; { struct Cyc_String_pa_PrintArg_struct _T20; _T20.tag = 0; _T14 = argv; _T15 = Cyc_optind; _T16 = _check_fat_subscript(_T14,sizeof(struct _fat_ptr),_T15); _T17 = (struct _fat_ptr *)_T16; _T20.f1 = *_T17; _T13 = _T20; }{ struct Cyc_String_pa_PrintArg_struct _T20 = _T13; void * _T21[2]; _T21[0] = &_T1F; _T21[1] = &_T20; _T18 = Cyc_stderr; _T19 = _tag_fat("%s: extra arguments ignored after '%s'\n",sizeof(char), 40U); _T1A = _tag_fat(_T21,sizeof(void *),2); Cyc_fprintf(_T18,_T19,_T1A); } }goto _TL7; _TL6: _TL7: _T1B = argv; _T1C = Cyc_optind; _T1D = _check_fat_subscript(_T1B,sizeof(struct _fat_ptr),_T1C); _T1E = (struct _fat_ptr *)_T1D; Cyc_infile = *_T1E; }
static int Cyc_RenameTemps_rename_visit_f1(struct Cyc_RenameTemps_Env*env,struct Cyc_Absyn_Exp*e){struct Cyc_Absyn_Exp*_T0;int*_T1;int _T2;struct Cyc_Absyn_Var_e_Absyn_Raw_exp_struct*_T3;void**_T4;void**_T5;void*_T6;int _T7;struct _handler_cons*_T8;int _T9;void**_TA;void*(*_TB)(struct Cyc_Dict_Dict,struct _tuple0*);void*(*_TC)(struct Cyc_Dict_Dict,void*);struct Cyc_RenameTemps_Env*_TD;struct Cyc_Dict_Dict _TE;struct _tuple0*_TF;void*_T10;struct Cyc_String_pa_PrintArg_struct _T11;struct Cyc___cycFILE*_T12;struct _fat_ptr _T13;struct _fat_ptr _T14;_T0=e;{ void*_T15=_T0->r;void*_T16;_T1=(int*)_T15;_T2=*_T1;if(_T2!=1)goto _TL6;{struct Cyc_Absyn_Var_e_Absyn_Raw_exp_struct*_T17=(struct Cyc_Absyn_Var_e_Absyn_Raw_exp_struct*)_T15;_T3=(struct Cyc_Absyn_Var_e_Absyn_Raw_exp_struct*)_T15;_T4=& _T3->f1;_T16=(void**)_T4;}{void**b=(void**)_T16;_T5=b;_T6=*_T5;{ # 59 struct _tuple0*qv=Cyc_Absyn_binding2qvar(_T6);_T7= Cyc_RenameTemps_is_temp_var(qv);if(!_T7)goto _TL8;{struct _handler_cons _T17;_T8=& _T17;_push_handler(_T8);{int _T18=0;_T9=setjmp(_T17.handler);if(!_T9)goto _TLA;_T18=1;goto _TLB;_TLA: _TLB: if(_T18)goto _TLC;else{goto _TLE;}_TLE: _TA=b;_TC=Cyc_Dict_lookup;{ # 62 void*(*_T19)(struct Cyc_Dict_Dict,struct _tuple0*)=(void*(*)(struct Cyc_Dict_Dict,struct _tuple0*))_TC;_TB=_T19;}_TD=env;_TE=_TD->d;_TF=qv;*_TA=_TB(_TE,_TF);_pop_handler();goto _TLD;_TLC: _T10=Cyc_Core_get_exn_thrown();{void*_T19=(void*)_T10;{struct Cyc_String_pa_PrintArg_struct _T1A;_T1A.tag=0; # 65 _T1A.f1=Cyc_Absynpp_exp2string(e);_T11=_T1A;}{struct Cyc_String_pa_PrintArg_struct _T1A=_T11;void*_T1B[1];_T1B[0]=& _T1A;_T12=Cyc_stderr;_T13=_tag_fat("can't find var %s!!!\n",sizeof(char),22U);_T14=_tag_fat(_T1B,sizeof(void*),1);Cyc_fprintf(_T12,_T13,_T14);}goto _LL5;_LL5:;}_TLD:;}}goto _TL9;_TL8: _TL9: # 69 return 0;}}_TL6: return 1;;}}
void Cyc_Hashtable_print_hist(struct Cyc_Hashtable_Table * t) { struct Cyc_Hashtable_Table * _T0; struct _fat_ptr _T1; struct _fat_ptr _T2; unsigned int * _T3; unsigned int _T4; unsigned int _T5; struct _fat_ptr _T6; unsigned char * _T7; struct Cyc_Hashtable_Bucket * _T8; struct Cyc_Hashtable_Bucket * _T9; unsigned int _TA; int _TB; struct Cyc_Hashtable_Bucket _TC; struct _fat_ptr _TD; unsigned char * _TE; unsigned int * _TF; unsigned int _T10; int _T11; unsigned int _T12; struct Cyc_Int_pa_PrintArg_struct _T13; unsigned int _T14; int _T15; struct Cyc_Int_pa_PrintArg_struct _T16; struct _fat_ptr _T17; unsigned char * _T18; unsigned int * _T19; unsigned int _T1A; int _T1B; unsigned int _T1C; int _T1D; struct Cyc_Double_pa_PrintArg_struct _T1E; struct _fat_ptr _T1F; unsigned char * _T20; unsigned int * _T21; unsigned int _T22; int _T23; unsigned int _T24; unsigned int _T25; unsigned int _T26; unsigned int _T27; struct Cyc___cycFILE * _T28; struct _fat_ptr _T29; struct _fat_ptr _T2A; _T0 = t; { struct _fat_ptr odata = _T0->tab; _T1 = odata; { unsigned int osize = _get_fat_size(_T1,sizeof(struct Cyc_Hashtable_Bucket)); { unsigned int _T2B = osize; _T4 = _check_times(_T2B,sizeof(unsigned int)); { unsigned int * _T2C = _cycalloc_atomic(_T4); { unsigned int _T2D = _T2B; unsigned int i; i = 0; _TL5E: if (i < _T2D) { goto _TL5C; }else { goto _TL5D; } _TL5C: _T5 = i; _T6 = odata; _T7 = _T6.curr; _T8 = (struct Cyc_Hashtable_Bucket *)_T7; _T9 = _check_null(_T8); _TA = i; _TB = (int)_TA; _TC = _T9[_TB]; _T2C[_T5] = _TC.length; i = i + 1; goto _TL5E; _TL5D: ; }_T3 = (unsigned int *)_T2C; }_T2 = _tag_fat(_T3,sizeof(unsigned int),_T2B); }{ struct _fat_ptr counts = _T2; unsigned int sum = 0U; { unsigned int i = 0U; _TL62: if (i < osize) { goto _TL60; }else { goto _TL61; } _TL60: _TD = counts; _TE = _TD.curr; _TF = (unsigned int *)_TE; _T10 = i; _T11 = (int)_T10; _T12 = _TF[_T11]; sum = sum + _T12; i = i + 1; goto _TL62; _TL61: ; }if (sum != 0U) { goto _TL63; } sum = 1U; goto _TL64; _TL63: _TL64: { unsigned int i = 0U; _TL68: if (i < osize) { goto _TL66; }else { goto _TL67; } _TL66: { struct Cyc_Int_pa_PrintArg_struct _T2B; _T2B.tag = 1; _T14 = i; _T15 = (int)_T14; _T2B.f1 = (unsigned long)_T15; _T13 = _T2B; }{ struct Cyc_Int_pa_PrintArg_struct _T2B = _T13; { struct Cyc_Int_pa_PrintArg_struct _T2C; _T2C.tag = 1; _T17 = counts; _T18 = _T17.curr; _T19 = (unsigned int *)_T18; _T1A = i; _T1B = (int)_T1A; _T1C = _T19[_T1B]; _T1D = (int)_T1C; _T2C.f1 = (unsigned long)_T1D; _T16 = _T2C; }{ struct Cyc_Int_pa_PrintArg_struct _T2C = _T16; { struct Cyc_Double_pa_PrintArg_struct _T2D; _T2D.tag = 2; _T1F = counts; _T20 = _T1F.curr; _T21 = (unsigned int *)_T20; _T22 = i; _T23 = (int)_T22; _T24 = _T21[_T23]; _T25 = sum; _T26 = _T24 / _T25; _T27 = _T26 * 100U; _T2D.f1 = (double)_T27; _T1E = _T2D; }{ struct Cyc_Double_pa_PrintArg_struct _T2D = _T1E; void * _T2E[3]; _T2E[0] = &_T2B; _T2E[1] = &_T2C; _T2E[2] = &_T2D; _T28 = Cyc_stderr; _T29 = _tag_fat("%d: %d (%g pct)\n",sizeof(char),17U); _T2A = _tag_fat(_T2E,sizeof(void *),3); Cyc_fprintf(_T28,_T29,_T2A); } } }i = i + 1; goto _TL68; _TL67: ; } } } } }
int Cyc_main(int argc,struct _fat_ptr argv) { struct Cyc___cycFILE * _T0; struct _fat_ptr _T1; struct _fat_ptr _T2; struct _fat_ptr _T3; unsigned char * _T4; struct _fat_ptr * _T5; struct _fat_ptr _T6; unsigned char * _T7; struct _fat_ptr * _T8; struct _fat_ptr _T9; struct _fat_ptr _TA; long _TB; struct _fat_ptr _TC; struct _fat_ptr _TD; struct _fat_ptr _TE; struct _fat_ptr _TF; struct _handler_cons * _T10; int _T11; struct _fat_ptr _T12; struct _fat_ptr _T13; struct _fat_ptr _T14; struct _fat_ptr _T15; void * _T16; struct Cyc___cycFILE * _T17; struct _fat_ptr _T18; struct _fat_ptr _T19; struct _fat_ptr _T1A; unsigned char * _T1B; unsigned char * _T1C; const char * _T1D; struct _handler_cons * _T1E; int _T1F; struct _fat_ptr _T20; struct Cyc___cycFILE * _T21; struct Cyc___cycFILE * _T22; struct Cyc_Syntax_Lexer_definition * _T23; struct Cyc_Syntax_Location * _T24; struct Cyc_Compact_Lex_tables * _T25; struct Cyc_List_List * _T26; struct Cyc_Syntax_Lexer_definition * _T27; struct Cyc_Syntax_Location * _T28; void * _T29; struct Cyc_Parser_Parser_error_exn_struct * _T2A; char * _T2B; char * _T2C; struct Cyc_String_pa_PrintArg_struct _T2D; struct Cyc_Int_pa_PrintArg_struct _T2E; int _T2F; struct Cyc___cycFILE * _T30; struct _fat_ptr _T31; struct _fat_ptr _T32; struct Cyc_Lexer_Lexical_error_exn_struct * _T33; char * _T34; char * _T35; struct Cyc_String_pa_PrintArg_struct _T36; struct Cyc_Int_pa_PrintArg_struct _T37; int _T38; struct Cyc_Int_pa_PrintArg_struct _T39; int _T3A; struct Cyc_String_pa_PrintArg_struct _T3B; struct Cyc___cycFILE * _T3C; struct _fat_ptr _T3D; struct _fat_ptr _T3E; struct Cyc_Output_Table_overflow_exn_struct * _T3F; char * _T40; char * _T41; struct Cyc_String_pa_PrintArg_struct _T42; struct Cyc___cycFILE * _T43; struct _fat_ptr _T44; struct _fat_ptr _T45; struct Cyc___cycFILE * _T46; struct _fat_ptr _T47; struct _fat_ptr _T48; struct _fat_ptr _T49; unsigned char * _T4A; unsigned char * _T4B; const char * _T4C; GC_blacklist_warn_clear(); if (argc < 2) { goto _TL2; }else { goto _TL3; } _TL3: if (argc > 3) { goto _TL2; }else { goto _TL0; } _TL2: _T0 = Cyc_stderr; _T1 = _tag_fat("Usage: cyclex <input file> [<output file>]",sizeof(char), 43U); _T2 = _tag_fat(0U,sizeof(void *),0); Cyc_fprintf(_T0,_T1,_T2); return 1; _TL0: _T3 = argv; _T4 = _check_fat_subscript(_T3,sizeof(struct _fat_ptr),1); _T5 = (struct _fat_ptr *)_T4; { struct _fat_ptr source_name = *_T5; struct _fat_ptr dest_name; if (argc != 3) { goto _TL4; } _T6 = argv; _T7 = _check_fat_subscript(_T6,sizeof(struct _fat_ptr),2); _T8 = (struct _fat_ptr *)_T7; dest_name = *_T8; goto _TL5; _TL4: _T9 = source_name; _TA = _tag_fat(".cyl",sizeof(char),5U); _TB = Cyc_Filename_check_suffix(_T9,_TA); if (! _TB) { goto _TL6; } _TC = Cyc_Filename_chop_extension(source_name); _TD = _tag_fat(".cyc",sizeof(char),5U); dest_name = Cyc_strconcat(_TC,_TD); goto _TL7; _TL6: _TE = source_name; _TF = _tag_fat(".cyc",sizeof(char),5U); dest_name = Cyc_strconcat(_TE,_TF); _TL7: _TL5: { struct Cyc___cycFILE * ic; struct Cyc___cycFILE * oc; { struct _handler_cons _T4D; _T10 = &_T4D; _push_handler(_T10); { int _T4E = 0; _T11 = setjmp(_T4D.handler); if (! _T11) { goto _TL8; } _T4E = 1; goto _TL9; _TL8: _TL9: if (_T4E) { goto _TLA; }else { goto _TLC; } _TLC: _T12 = source_name; _T13 = _tag_fat("rb",sizeof(char),3U); ic = Cyc_file_open(_T12,_T13); _T14 = dest_name; _T15 = _tag_fat("w",sizeof(char),2U); oc = Cyc_file_open(_T14,_T15); _pop_handler(); goto _TLB; _TLA: _T16 = Cyc_Core_get_exn_thrown(); { void * _T4F = (void *)_T16; _T17 = Cyc_stderr; _T18 = _tag_fat("trouble opening files",sizeof(char),22U); _T19 = _tag_fat(0U,sizeof(void *),0); Cyc_fprintf(_T17,_T18,_T19); _T1A = dest_name; _T1B = _untag_fat_ptr_check_bound(_T1A,sizeof(char),1U); _T1C = _check_null(_T1B); _T1D = (const char *)_T1C; remove(_T1D); return 1; ; }_TLB: ; } }{ struct _handler_cons _T4D; _T1E = &_T4D; _push_handler(_T1E); { int _T4E = 0; _T1F = setjmp(_T4D.handler); if (! _T1F) { goto _TLD; } _T4E = 1; goto _TLE; _TLD: _TLE: if (_T4E) { goto _TLF; }else { goto _TL11; } _TL11: { struct Cyc_Syntax_Lexer_definition * def = Cyc_Parser_parse_file(ic); struct _tuple6 * _T4F = Cyc_Lexgen_make_dfa(def); struct _fat_ptr _T50; struct Cyc_List_List * _T51; { struct _tuple6 _T52 = *_T4F; _T51 = _T52.f0; _T50 = _T52.f1; }{ struct Cyc_List_List * entries = _T51; struct _fat_ptr transitions = _T50; struct Cyc_Compact_Lex_tables * tables = Cyc_Compact_compact_tables(transitions); _T20 = source_name; _T21 = ic; _T22 = oc; _T23 = _check_null(def); _T24 = _T23->header; _T25 = tables; _T26 = entries; _T27 = def; _T28 = _T27->trailer; Cyc_Output_output_lexdef(_T20,_T21,_T22,_T24,_T25,_T26,_T28); } }_pop_handler(); goto _TL10; _TLF: _T29 = Cyc_Core_get_exn_thrown(); { void * _T4F = (void *)_T29; void * _T50; int _T51; int _T52; struct _fat_ptr _T53; _T2A = (struct Cyc_Parser_Parser_error_exn_struct *)_T4F; _T2B = _T2A->tag; _T2C = Cyc_Parser_Parser_error; if (_T2B != _T2C) { goto _TL12; } { struct Cyc_Parser_Parser_error_exn_struct * _T54 = (struct Cyc_Parser_Parser_error_exn_struct *)_T4F; _T53 = _T54->f1; }{ struct _fat_ptr s = _T53; { struct Cyc_String_pa_PrintArg_struct _T54; _T54.tag = 0; _T54.f1 = source_name; _T2D = _T54; }{ struct Cyc_String_pa_PrintArg_struct _T54 = _T2D; { struct Cyc_Int_pa_PrintArg_struct _T55; _T55.tag = 1; _T2F = Cyc_Lexer_line_num; _T55.f1 = (unsigned long)_T2F; _T2E = _T55; }{ struct Cyc_Int_pa_PrintArg_struct _T55 = _T2E; void * _T56[2]; _T56[0] = &_T54; _T56[1] = &_T55; _T30 = Cyc_stderr; _T31 = _tag_fat("File \"%s\", line %d: syntax error.\n", sizeof(char),35U); _T32 = _tag_fat(_T56,sizeof(void *),2); Cyc_fprintf(_T30,_T31,_T32); } }goto _LL6; }_TL12: _T33 = (struct Cyc_Lexer_Lexical_error_exn_struct *)_T4F; _T34 = _T33->tag; _T35 = Cyc_Lexer_Lexical_error; if (_T34 != _T35) { goto _TL14; } { struct Cyc_Lexer_Lexical_error_exn_struct * _T54 = (struct Cyc_Lexer_Lexical_error_exn_struct *)_T4F; _T53 = _T54->f1; _T52 = _T54->f2; _T51 = _T54->f3; }{ struct _fat_ptr msg = _T53; int line = _T52; int col = _T51; { struct Cyc_String_pa_PrintArg_struct _T54; _T54.tag = 0; _T54.f1 = source_name; _T36 = _T54; }{ struct Cyc_String_pa_PrintArg_struct _T54 = _T36; { struct Cyc_Int_pa_PrintArg_struct _T55; _T55.tag = 1; _T38 = line; _T55.f1 = (unsigned long)_T38; _T37 = _T55; }{ struct Cyc_Int_pa_PrintArg_struct _T55 = _T37; { struct Cyc_Int_pa_PrintArg_struct _T56; _T56.tag = 1; _T3A = col; _T56.f1 = (unsigned long)_T3A; _T39 = _T56; }{ struct Cyc_Int_pa_PrintArg_struct _T56 = _T39; { struct Cyc_String_pa_PrintArg_struct _T57; _T57.tag = 0; _T57.f1 = msg; _T3B = _T57; }{ struct Cyc_String_pa_PrintArg_struct _T57 = _T3B; void * _T58[4]; _T58[0] = &_T54; _T58[1] = &_T55; _T58[2] = &_T56; _T58[3] = &_T57; _T3C = Cyc_stderr; _T3D = _tag_fat("File \"%s\", line %d, character %d: %s.\n", sizeof(char),39U); _T3E = _tag_fat(_T58,sizeof(void *),4); Cyc_fprintf(_T3C,_T3D,_T3E); } } } }goto _LL6; }_TL14: _T3F = (struct Cyc_Output_Table_overflow_exn_struct *)_T4F; _T40 = _T3F->tag; _T41 = Cyc_Output_Table_overflow; if (_T40 != _T41) { goto _TL16; } { struct Cyc_String_pa_PrintArg_struct _T54; _T54.tag = 0; _T54.f1 = source_name; _T42 = _T54; }{ struct Cyc_String_pa_PrintArg_struct _T54 = _T42; void * _T55[1]; _T55[0] = &_T54; _T43 = Cyc_stderr; _T44 = _tag_fat("File \"%s\":\ntransition table overflow, automaton is too big\n", sizeof(char),60U); _T45 = _tag_fat(_T55,sizeof(void *),1); Cyc_fprintf(_T43,_T44,_T45); }goto _LL6; _TL16: _T50 = _T4F; { void * exn = _T50; _T46 = Cyc_stderr; _T47 = _tag_fat("error in parsing, generation, compaction, or output", sizeof(char),52U); _T48 = _tag_fat(0U,sizeof(void *),0); Cyc_fprintf(_T46,_T47,_T48); _T49 = dest_name; _T4A = _untag_fat_ptr_check_bound(_T49,sizeof(char),1U); _T4B = _check_null(_T4A); _T4C = (const char *)_T4B; remove(_T4C); _throw(exn); return 1; }_LL6: ; }_TL10: ; } }return 0; } } }