home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / sa104os2.zip / SATHR104.ZIP / SATHER / BOOT / CS.COD / DECS.H < prev    next >
C/C++ Source or Header  |  1995-02-15  |  119KB  |  2,545 lines
  1. OPTIONS OPTIONS_create_O(OPTIONS);
  2. TP_TBL TP_TBL_create_PR(TP_TBL, PROG);
  3. INT STR_asize_INT(STR);
  4. BOOL INT_is_bet_INT_I(INT, INT, INT);
  5. CHAR STR_aget_INT_CHAR(STR, INT);
  6. INT STR_hash_INT(STR);
  7. INT IDENT_TBL_query_(IDENT_TBL, STR);
  8. INT IDENT_TBL_asize_INT(IDENT_TBL);
  9. IDENT IDENT_TBL_aget_I(IDENT_TBL, INT);
  10. BOOL STR_is_eq_STR_BOOL(STR, STR);
  11. BOOL IDENT_TBL_query__78(IDENT_TBL, STR, IDENT);
  12. IDENT IDENT_TBL_elt_ni(IDENT_TBL);
  13. BOOL IDENT_is_eq_IDEN(IDENT, IDENT);
  14. BOOL IDENT_TBL_elt_eq(IDENT_TBL, IDENT, IDENT);
  15. IDENT IDENT_TBL_get_qu(IDENT_TBL, STR);
  16. IDENT IDENT_str_STR_IDENT(IDENT, STR);
  17. IDENT IDENT_create_STR(IDENT, STR);
  18. IDENT_TBL IDENT_TBL_alloca(IDENT_TBL, INT);
  19. IDENT_TBL IDENT_TBL_double(IDENT_TBL);
  20. INT IDENT_TBL_elt_ha(IDENT_TBL, IDENT);
  21. void IDENT_TBL_aset_I(IDENT_TBL, INT, IDENT);
  22. IDENT_TBL IDENT_TBL_insert(IDENT_TBL, IDENT);
  23. IDENT PROG_ident_for_S(PROG, STR);
  24. TUPIDENTARRAYTP TUPIDENTARRAYTP_(TUPIDENTARRAYTP, IDENT);
  25. TUPIDENTARRAYTP TUPIDENTARRAYTP__116(TUPIDENTARRAYTP, ARRAYTP);
  26. TUPIDENTARRAYTP TUPIDENTARRAYTP__118(TUPIDENTARRAYTP, IDENT, ARRAYTP);
  27. INT IDENT_hash_INT(IDENT);
  28. INT TP_CLASS_TBL_que(TP_CLASS_TBL, TUPIDENTARRAYTP);
  29. INT TP_CLASS_TBL_asi(TP_CLASS_TBL);
  30. TP_CLASS TP_CLASS_TBL_age(TP_CLASS_TBL, INT);
  31. BOOL IDENT_is_neq_IDE(IDENT, IDENT);
  32. INT ARRAYTP_asize_INT(ARRAYTP);
  33. INT ARRAYTP_size_INT(ARRAYTP);
  34. BOOL TP_CLASS_TBL_que_132(TP_CLASS_TBL, TUPIDENTARRAYTP, TP_CLASS);
  35. TP_CLASS TP_CLASS_TBL_elt(TP_CLASS_TBL);
  36. BOOL TP_CLASS_TBL_elt_140(TP_CLASS_TBL, TP_CLASS, TP_CLASS);
  37. TP_CLASS TP_CLASS_TBL_get(TP_CLASS_TBL, TUPIDENTARRAYTP);
  38. TP_CLASS TP_CLASS_create_(TP_CLASS, IDENT, ARRAYTP, PROG);
  39. TP_CLASS_TBL TP_CLASS_TBL_all(TP_CLASS_TBL, INT);
  40. TP_CLASS_TBL TP_CLASS_TBL_dou(TP_CLASS_TBL);
  41. INT TP_CLASS_TBL_elt_163(TP_CLASS_TBL, TP_CLASS);
  42. void TP_CLASS_TBL_ase_170(TP_CLASS_TBL, INT, TP_CLASS);
  43. TP_CLASS_TBL TP_CLASS_TBL_ins(TP_CLASS_TBL, TP_CLASS);
  44. TP_CLASS TP_TBL_tp_class_(TP_TBL, IDENT, ARRAYTP);
  45. TUPARRAYTPTP TUPARRAYTPTP_t1_(TUPARRAYTPTP, ARRAYTP);
  46. TUPARRAYTPTP TUPARRAYTPTP_t2_(TUPARRAYTPTP, TP);
  47. TUPARRAYTPTP TUPARRAYTPTP_cre(TUPARRAYTPTP, ARRAYTP, TP);
  48. INT TP_ROUT_TBL_quer(TP_ROUT_TBL, TUPARRAYTPTP);
  49. INT TP_ROUT_TBL_asiz(TP_ROUT_TBL);
  50. TP_ROUT TP_ROUT_TBL_aget(TP_ROUT_TBL, INT);
  51. BOOL TP_ROUT_TBL_quer_194(TP_ROUT_TBL, TUPARRAYTPTP, TP_ROUT);
  52. TP_ROUT TP_ROUT_TBL_elt_(TP_ROUT_TBL);
  53. BOOL TP_ROUT_TBL_elt__202(TP_ROUT_TBL, TP_ROUT, TP_ROUT);
  54. TP_ROUT TP_ROUT_TBL_get_(TP_ROUT_TBL, TUPARRAYTPTP);
  55. TP_ROUT TP_ROUT_create_A(TP_ROUT, ARRAYTP, TP, PROG);
  56. TP_ROUT_TBL TP_ROUT_TBL_allo(TP_ROUT_TBL, INT);
  57. TP_ROUT_TBL TP_ROUT_TBL_doub(TP_ROUT_TBL);
  58. INT TP_ROUT_TBL_elt__225(TP_ROUT_TBL, TP_ROUT);
  59. void TP_ROUT_TBL_aset_232(TP_ROUT_TBL, INT, TP_ROUT);
  60. TP_ROUT_TBL TP_ROUT_TBL_inse(TP_ROUT_TBL, TP_ROUT);
  61. TP_ROUT TP_TBL_tp_rout_f(TP_TBL, ARRAYTP, TP);
  62. ARRAYTP ARRAYTP_create_I(ARRAYTP, INT);
  63. void ARRAYTP_aset_INT_TP(ARRAYTP, INT, TP);
  64. TP_BUILTIN TP_BUILTIN_creat(TP_BUILTIN, PROG);
  65. IDENT_BUILTIN IDENT_BUILTIN_cr(IDENT_BUILTIN, PROG);
  66. TP_GRAPH_ANC TP_GRAPH_ANC_cre(TP_GRAPH_ANC, PROG);
  67. TP_GRAPH_DES TP_GRAPH_DES_cre(TP_GRAPH_DES, PROG);
  68. TP_GRAPH TP_GRAPH_create_(TP_GRAPH, PROG);
  69. TP_GRAPH_ABS_DES TP_GRAPH_ABS_DES_290(TP_GRAPH_ABS_DES, PROG);
  70. IMPL_TBL IMPL_TBL_create_(IMPL_TBL, PROG);
  71. IFC_TBL IFC_TBL_create_P(IFC_TBL, PROG);
  72. GLOBAL_TBL GLOBAL_TBL_creat(GLOBAL_TBL, PROG);
  73. PROG_PARSE PROG_PARSE_creat(PROG_PARSE, PROG);
  74. PROG_FIND_TYPES PROG_FIND_TYPES_(PROG_FIND_TYPES, PROG);
  75. PROG_TYPE_GRAPH PROG_TYPE_GRAPH_(PROG_TYPE_GRAPH, PROG);
  76. PROG_IFC_CONFORMANCE PROG_IFC_CONFORM(PROG_IFC_CONFORMANCE, PROG);
  77. PROG_GET_MAIN PROG_GET_MAIN_cr(PROG_GET_MAIN, PROG);
  78. INT INT_highest_bit_INT(INT);
  79. INLINE INLINE_TBL_elt_n(INLINE_TBL);
  80. INLINE_TBL INLINE_TBL_alloc(INLINE_TBL, INT);
  81. INLINE_TBL INLINE_TBL_old_c(INLINE_TBL, INT);
  82. SIG SIG_create_SIG(SIG);
  83. void INLINE_INT_FOLD_(INLINE_INT_FOLD, INT);
  84. INLINE_INT_FOLD INLINE_INT_FOLD__314(INLINE_INT_FOLD, SIG);
  85. BOOL INLINE_TBL_elt_e(INLINE_TBL, INLINE, INLINE);
  86. INT INLINE_TBL_asize_INT(INLINE_TBL);
  87. INLINE_TBL INLINE_TBL_doubl(INLINE_TBL);
  88. INT INLINE_TBL_query(INLINE_TBL, SIG);
  89. INT INLINE_TBL_elt_h(INLINE_TBL, INLINE);
  90. INLINE INLINE_TBL_aget_(INLINE_TBL, INT);
  91. void INLINE_TBL_aset__333(INLINE_TBL, INT, INLINE);
  92. INLINE_TBL INLINE_TBL_inser(INLINE_TBL, INLINE);
  93. INLINE_TBL INLINE_TBL_creat(INLINE_TBL, PROG);
  94. PROG_AM_GENERATE PROG_AM_GENERATE_345(PROG_AM_GENERATE, PROG);
  95. PROG_AM_CHECK PROG_AM_CHECK_cr(PROG_AM_CHECK, PROG);
  96. PROG PROG_create_PROG(PROG);
  97. INT ARRAYSTR_asize_INT(ARRAYSTR);
  98. INT ARRAYSTR_size_INT(ARRAYSTR);
  99. BOOL OPTIONS_more_arg(OPTIONS);
  100. STR ARRAYSTR_aget_IN(ARRAYSTR, INT);
  101. ERR_26 ERR_create_ERR(ERR_26);
  102. INT STR_size_INT(STR);
  103. extern void c_err_nstr(INT, CHAR []);
  104. ERR_26 ERR_plus_STR_ERR(ERR_26, STR);
  105. INT INT_min_INT_INT(INT, INT);
  106. extern void c_err_char(CHAR);
  107. void ERR_plus_CHAR(ERR_26, CHAR);
  108. extern void c_err_nstr(INT, CHAR []);
  109. void ERR_plus_STR(ERR_26, STR);
  110.  
  111. void UNIX_exit_INT(UNIX, INT);
  112. void OPTIONS_usage(OPTIONS);
  113. STR OPTIONS_next_arg_STR(OPTIONS);
  114. INT STR_length_INT(STR);
  115. void STR_acopy_INT_IN(STR, INT, INT, INT, STR);
  116. STR STR_tail_INT_STR(STR, INT);
  117. STR OPTIONS_suffix_S(OPTIONS, STR);
  118. STR FSETSTR_elt_nil_STR(FSETSTR);
  119. FSETSTR FSETSTR_allocate(FSETSTR, INT);
  120. INT FSETSTR_asize_INT(FSETSTR);
  121. FSETSTR FSETSTR_double_s(FSETSTR);
  122. INT FSETSTR_elt_hash(FSETSTR, STR);
  123. STR FSETSTR_aget_INT_STR(FSETSTR, INT);
  124. BOOL FSETSTR_elt_eq_S(FSETSTR, STR, STR);
  125. void FSETSTR_aset_INT_STR(FSETSTR, INT, STR);
  126. FSETSTR FSETSTR_insert_S(FSETSTR, STR);
  127. STR FILE_resolve_pat(FILE_20, STR);
  128. BOOL FSETSTR_test_STR(FSETSTR, STR);
  129. INT FLISTSTR_asize_INT(FLISTSTR);
  130. INT FLISTSTR_size_INT(FLISTSTR);
  131. BOOL FLISTSTR_is_empt(FLISTSTR);
  132. void FLISTSTR_aclear(FLISTSTR);
  133. void FLISTSTR_clear(FLISTSTR);
  134. void FLISTSTR_aref_as(FLISTSTR, INT, STR);
  135. void FLISTSTR_aset_IN(FLISTSTR, INT, STR);
  136. FLISTSTR FLISTSTR_push_ST(FLISTSTR, STR);
  137. void OPTIONS_rewind(OPTIONS);
  138. void OPTIONS_get_files(OPTIONS);
  139. FLISTSTR FLISTSTR_create_(FLISTSTR);
  140.  
  141.  
  142. STR STR_create_from_(STR, EXT_OB);
  143. #ifdef __osf__
  144.     extern char *getenv(const char *);
  145. #else
  146. # ifndef _AIX
  147. #  if !defined(__IBMC__) || !defined(__OS2__)                 /* -- NLP */
  148.       extern char *getenv(char *);
  149. #  endif                                                      /* -- NLP */
  150. # endif
  151. #endif
  152. STR UNIX_get_env_STR_STR(UNIX, STR);
  153. BOOL CHAR_is_space_BOOL(CHAR);
  154. void STR_aset_INT_CHAR(STR, INT, CHAR);
  155. STR STR_plus_CHAR_STR(STR, CHAR);
  156. BOOL STR_is_neq_STR_BOOL(STR, STR);
  157. FLISTSTR OPTIONS_args_fro(OPTIONS);
  158. void ARRAYSTR_acopy_I(ARRAYSTR, INT, INT, INT, ARRAYSTR);
  159. void ARRAYSTR_copy_IN(ARRAYSTR, INT, INT, INT, ARRAYSTR);
  160. ARRAYSTR ARRAYSTR_subarr_(ARRAYSTR, INT, INT);
  161. ARRAYSTR ARRAYSTR_create_(ARRAYSTR, INT);
  162. ARRAYSTR FLISTSTR_array_A(FLISTSTR);
  163. void ARRAYSTR_acopy_A(ARRAYSTR, ARRAYSTR);
  164. void ARRAYSTR_copy_AR(ARRAYSTR, ARRAYSTR);
  165. ARRAYSTR ARRAYSTR_copy_AR_488(ARRAYSTR);
  166. void ARRAYSTR_acopy_I_490(ARRAYSTR, INT, ARRAYSTR);
  167. void ARRAYSTR_copy_IN_499(ARRAYSTR, INT, ARRAYSTR);
  168. ARRAYSTR ARRAYSTR_append_(ARRAYSTR, ARRAYSTR);
  169. void OPTIONS_insert_h(OPTIONS, FLISTSTR);
  170. FSETSTR FSETSTR_create_F(FSETSTR);
  171. BOOL CHAR_is_upper_BOOL(CHAR);
  172. BOOL OPTIONS_is_class(OPTIONS, STR);
  173. void OPTIONS_get_classes(OPTIONS);
  174. FSETSTR FSETSTR_copy_FSETSTR(FSETSTR);
  175. FSETSTR FSETSTR_to_union(FSETSTR, FSETSTR);
  176. FSETSTR FSETSTR_union_FS(FSETSTR, FSETSTR);
  177. FSETSTR FSETSTR_differen(FSETSTR, FSETSTR);
  178. BOOL OPTIONS_is_filen(OPTIONS, STR);
  179. FSETSTR OPTIONS_files_FS(OPTIONS);
  180. STR FMAPSTRFSETSTR_k(FMAPSTRFSETSTR);
  181. TUPSTRFSETSTR TUPSTRFSETSTR_t1(TUPSTRFSETSTR, STR);
  182. TUPSTRFSETSTR TUPSTRFSETSTR_t2(TUPSTRFSETSTR, FSETSTR);
  183. TUPSTRFSETSTR TUPSTRFSETSTR_cr(TUPSTRFSETSTR, STR, FSETSTR);
  184. FMAPSTRFSETSTR FMAPSTRFSETSTR_a(FMAPSTRFSETSTR, INT);
  185. INT FMAPSTRFSETSTR_a_551(FMAPSTRFSETSTR);
  186. FMAPSTRFSETSTR FMAPSTRFSETSTR_i_553(FMAPSTRFSETSTR, TUPSTRFSETSTR);
  187. FMAPSTRFSETSTR FMAPSTRFSETSTR_d(FMAPSTRFSETSTR);
  188. INT FMAPSTRFSETSTR_k_560(FMAPSTRFSETSTR, STR);
  189. TUPSTRFSETSTR FMAPSTRFSETSTR_a_562(FMAPSTRFSETSTR, INT);
  190. BOOL FMAPSTRFSETSTR_k_565(FMAPSTRFSETSTR, STR, STR);
  191. void FMAPSTRFSETSTR_a_567(FMAPSTRFSETSTR, INT, TUPSTRFSETSTR);
  192. FMAPSTRFSETSTR FMAPSTRFSETSTR_i_555(FMAPSTRFSETSTR, STR, FSETSTR);
  193. STR FMAPSTRSTR_key_n(FMAPSTRSTR);
  194. TUPSTRSTR TUPSTRSTR_t1_STR(TUPSTRSTR, STR);
  195. TUPSTRSTR TUPSTRSTR_t2_STR(TUPSTRSTR, STR);
  196. TUPSTRSTR TUPSTRSTR_create(TUPSTRSTR, STR, STR);
  197. FMAPSTRSTR FMAPSTRSTR_alloc(FMAPSTRSTR, INT);
  198. INT FMAPSTRSTR_asize_INT(FMAPSTRSTR);
  199. FMAPSTRSTR FMAPSTRSTR_inser(FMAPSTRSTR, TUPSTRSTR);
  200. FMAPSTRSTR FMAPSTRSTR_doubl(FMAPSTRSTR);
  201. INT FMAPSTRSTR_key_h(FMAPSTRSTR, STR);
  202. TUPSTRSTR FMAPSTRSTR_aget_(FMAPSTRSTR, INT);
  203. BOOL FMAPSTRSTR_key_e(FMAPSTRSTR, STR, STR);
  204. void FMAPSTRSTR_aset__595(FMAPSTRSTR, INT, TUPSTRSTR);
  205. FMAPSTRSTR FMAPSTRSTR_inser_586(FMAPSTRSTR, STR, STR);
  206. STR STR_replace_CHAR(STR, CHAR, CHAR);
  207. STR STR_head_INT_STR(STR, INT);
  208. STR OPTIONS_director(OPTIONS, STR);
  209. extern FILE *fopen(const char*, const char*);
  210. FILE_20 FILE_open_for_re(FILE_20, STR);
  211. extern int ferror(FILE *); /* ferror is #undef ed */
  212. BOOL FILE_error_BOOL(FILE_20);
  213. #if defined(__FreeBSD__) || defined(__NetBSD__) || (M_I386 && M_XENIX)
  214.     extern long ftell(const FILE *);
  215. #else
  216.     extern long ftell(FILE *);
  217. #endif
  218. INT FILE_current_loc_INT(FILE_20);
  219.  
  220. void FILE_seek_from_e(FILE_20, INT);
  221.  
  222. void FILE_seek_from_f(FILE_20, INT);
  223. INT FILE_size_INT(FILE_20);
  224. FSTR FSTR_create_INT_FSTR(FSTR, INT);
  225.  
  226. FSTR FILE_fstr_FSTR(FILE_20);
  227. FSTR FSTR_create_FSTR(FSTR);
  228. INT FSTR_asize_INT(FSTR);
  229. void FSTR_aref_aset_I(FSTR, INT, CHAR);
  230. void FSTR_aset_INT_CHAR(FSTR, INT, CHAR);
  231. FSTR FSTR_push_CHAR_FSTR(FSTR, CHAR);
  232. FSTR FSTR_plus_CHAR_FSTR(FSTR, CHAR);
  233.  
  234. void FILE_close(FILE_20);
  235. INT FSTR_size_INT(FSTR);
  236. CHAR FSTR_aref_aget_I(FSTR, INT);
  237. CHAR FSTR_aget_INT_CHAR(FSTR, INT);
  238. STR STR_plus_STR_STR(STR, STR);
  239. FLISTSTR OPTIONS_args_fro_651(OPTIONS, STR);
  240. void OPTIONS_barf_STR(OPTIONS, STR);
  241. void BE_LEX_barf_STR(BE_LEX, STR);
  242. BE_LEX BE_LEX_create_ST(BE_LEX, STR);
  243. BOOL CHAR_is_print_BOOL(CHAR);
  244. void FSTR_clear(FSTR);
  245. CHAR INT_digit_char_CHAR(INT);
  246. void INT_buf_FSTR(INT, FSTR);
  247. STR STR_from_fstr_FS(STR, FSTR);
  248. STR FSTR_str_STR(FSTR);
  249. FSTR FSTR_plus_STR_FSTR(FSTR, STR);
  250. void FSTR_to_reverse(FSTR);
  251. STR INT_octal_str_STR(INT);
  252. STR STR_append_STR_S(STR, STR, STR);
  253. STR CHAR_pretty_STR(CHAR);
  254. STR BE_LEX_get_str_STR(BE_LEX);
  255. BOOL BOOL_from_str_ST(BOOL, STR);
  256. void OPTIONS_interpre(OPTIONS, ARRAYSTR);
  257. BOOL FSETSTR_is_empty(FSETSTR);
  258. INT FLISTSFILE_ID_as(FLISTSFILE_ID);
  259. INT FLISTSFILE_ID_si(FLISTSFILE_ID);
  260. BOOL FLISTSFILE_ID_is(FLISTSFILE_ID);
  261. void FLISTSFILE_ID_aclear(FLISTSFILE_ID);
  262. void FLISTSFILE_ID_clear(FLISTSFILE_ID);
  263. void FLISTSFILE_ID_ar(FLISTSFILE_ID, INT, SFILE_ID);
  264. void FLISTSFILE_ID_as_767(FLISTSFILE_ID, INT, SFILE_ID);
  265. FLISTSFILE_ID FLISTSFILE_ID_pu(FLISTSFILE_ID, SFILE_ID);
  266. SFILE_ID FLISTSFILE_ID_ar_778(FLISTSFILE_ID, INT);
  267. SFILE_ID FLISTSFILE_ID_ag(FLISTSFILE_ID, INT);
  268. BOOL SFILE_ID_is_eq_S(SFILE_ID, SFILE_ID);
  269. BOOL PROG_err_loc_old(PROG, SFILE_ID);
  270. OUT OUT_create_OUT(OUT);
  271. INT FLISTINT_size_INT(FLISTINT);
  272. INT FLISTINT_asize_INT(FLISTINT);
  273. INT FLISTINT_aref_ag(FLISTINT, INT);
  274. INT FLISTINT_aget_IN(FLISTINT, INT);
  275. extern void c_out_nstr(INT, CHAR []);
  276. void OUT_plus_STR(OUT, STR);
  277. INT SFILE_ID_index_INT(SFILE_ID);
  278. STR FLISTSTR_aref_ag(FLISTSTR, INT);
  279. STR FLISTSTR_aget_IN(FLISTSTR, INT);
  280. STR SFILE_ID_file_in_STR(SFILE_ID);
  281. INT SFILE_ID_line_nu(SFILE_ID);
  282. void STR_buf_FSTR(STR, FSTR);
  283. INT INT_nil_INT(INT);
  284. BOOL INT_is_odd_BOOL(INT);
  285. INT INT_negate_INT(INT);
  286. INT INT_abs_INT(INT);
  287. INT INTI_asize_INT(INTI);
  288. INT INTI_aget_INT_INT(INTI, INT);
  289. void INTI_aset_INT_INT(INTI, INT, INT);
  290. INT INT_square_INT(INT);
  291. INT INT_pow_INT_INT(INT, INT);
  292. INTI INTI_u_times_INT(INTI, INTI, INTI);
  293. INTI INTI_times_INTI_INTI(INTI, INTI);
  294. INTI INTI_square_INTI(INTI);
  295. INTI INTI_pow_INT_INTI(INTI, INT);
  296. INTI INTI_copy_INTI(INTI);
  297. INTI INTI_negate_INTI(INTI);
  298. INTI INTI_create_INT_INTI(INTI, INT);
  299. INT FSTR_length_INT(FSTR);
  300. INT INTI_u_mod_INTI_(INTI, INTI, INT);
  301. FSTR INTI_str_in_FSTR(INTI, FSTR, INT, INT, CHAR);
  302. FSTR INT_str_in_FSTR_(INT, FSTR, INT, INT, CHAR);
  303. FSTR INT_str_in_FSTR_FSTR(INT, FSTR);
  304. STR STR_plus_INT_STR(STR, INT);
  305. INT SFILE_ID_col_num(SFILE_ID);
  306. STR SFILE_ID_str_STR(SFILE_ID);
  307. extern void c_out_nstr(INT, CHAR []);
  308. OUT OUT_plus_STR_OUT(OUT, STR);
  309. void PROG_err_STR(PROG, STR);
  310. BOOL FMAPSTRFSETSTR_i_869(FMAPSTRFSETSTR);
  311. STR OPTIONS_mention_(OPTIONS, STR, STR, STR);
  312. BOOL FMAPSTRSTR_is_em(FMAPSTRSTR);
  313. STR OPTIONS_str_STR(OPTIONS);
  314. FMAPOBSTR FMAPOBSTR_create(FMAPOBSTR);
  315. FMAPSTRSTR FMAPSTRSTR_creat(FMAPSTRSTR);
  316. FMAPSTRTUPSTRSTR FMAPSTRTUPSTRSTR_1033(FMAPSTRTUPSTRSTR);
  317. FMAPSTRITER_INLINE FMAPSTRITER_INLI(FMAPSTRITER_INLINE);
  318. FSETTP FSETTP_create_FSETTP(FSETTP);
  319. FLISTAM_ROUT_DEF FLISTAM_ROUT_DEF_1039(FLISTAM_ROUT_DEF);
  320. FLISTAM_BND_CREA FLISTAM_BND_CREA_1042(FLISTAM_BND_CREA);
  321. FMAPSIGAM_ROUT_DEF FMAPSIGAM_ROUT_D(FMAPSIGAM_ROUT_DEF);
  322. void BE_forbid_STR(BE, STR);
  323. void BE_insert_forbid(BE);
  324. void PROG_err_loc_PRO(PROG, PROG_ERR);
  325. void BE_barf_at_STR_P(BE, STR, PROG_ERR);
  326. void BE_barf_STR(BE, STR);
  327. STR FMAPSTRTUPSTRSTR_1055(FMAPSTRTUPSTRSTR);
  328. TUPSTRTUPSTRSTR TUPSTRTUPSTRSTR_(TUPSTRTUPSTRSTR, STR);
  329. TUPSTRTUPSTRSTR TUPSTRTUPSTRSTR__1058(TUPSTRTUPSTRSTR, TUPSTRSTR);
  330. TUPSTRTUPSTRSTR TUPSTRTUPSTRSTR__1060(TUPSTRTUPSTRSTR, STR, TUPSTRSTR);
  331. FMAPSTRTUPSTRSTR FMAPSTRTUPSTRSTR_1062(FMAPSTRTUPSTRSTR, INT);
  332. INT FMAPSTRTUPSTRSTR_1070(FMAPSTRTUPSTRSTR);
  333. FMAPSTRTUPSTRSTR FMAPSTRTUPSTRSTR_1072(FMAPSTRTUPSTRSTR, TUPSTRTUPSTRSTR);
  334. FMAPSTRTUPSTRSTR FMAPSTRTUPSTRSTR_1075(FMAPSTRTUPSTRSTR);
  335. INT FMAPSTRTUPSTRSTR_1082(FMAPSTRTUPSTRSTR, STR);
  336. TUPSTRTUPSTRSTR FMAPSTRTUPSTRSTR_1084(FMAPSTRTUPSTRSTR, INT);
  337. BOOL FMAPSTRTUPSTRSTR_1087(FMAPSTRTUPSTRSTR, STR, STR);
  338. void FMAPSTRTUPSTRSTR_1089(FMAPSTRTUPSTRSTR, INT, TUPSTRTUPSTRSTR);
  339. FMAPSTRTUPSTRSTR FMAPSTRTUPSTRSTR_1074(FMAPSTRTUPSTRSTR, STR, TUPSTRSTR);
  340. BOOL CHAR_is_alpha_BOOL(CHAR);
  341. BOOL CHAR_is_alphanum(CHAR);
  342. STR STR_substring_IN(STR, INT, INT);
  343. void BE_insert_built_(BE);
  344. ITER_INLINE ITER_INLINE_crea(ITER_INLINE, STR, STR, STR, STR);
  345. STR FMAPSTRITER_INLI_1122(FMAPSTRITER_INLINE);
  346. TUPSTRITER_INLINE TUPSTRITER_INLIN(TUPSTRITER_INLINE, STR);
  347. TUPSTRITER_INLINE TUPSTRITER_INLIN_1125(TUPSTRITER_INLINE, ITER_INLINE);
  348. TUPSTRITER_INLINE TUPSTRITER_INLIN_1127(TUPSTRITER_INLINE, STR, ITER_INLINE);
  349. FMAPSTRITER_INLINE FMAPSTRITER_INLI_1129(FMAPSTRITER_INLINE, INT);
  350. INT FMAPSTRITER_INLI_1137(FMAPSTRITER_INLINE);
  351. FMAPSTRITER_INLINE FMAPSTRITER_INLI_1139(FMAPSTRITER_INLINE, TUPSTRITER_INLINE);
  352. FMAPSTRITER_INLINE FMAPSTRITER_INLI_1142(FMAPSTRITER_INLINE);
  353. INT FMAPSTRITER_INLI_1149(FMAPSTRITER_INLINE, STR);
  354. TUPSTRITER_INLINE FMAPSTRITER_INLI_1151(FMAPSTRITER_INLINE, INT);
  355. BOOL FMAPSTRITER_INLI_1154(FMAPSTRITER_INLINE, STR, STR);
  356. void FMAPSTRITER_INLI_1156(FMAPSTRITER_INLINE, INT, TUPSTRITER_INLINE);
  357. FMAPSTRITER_INLINE FMAPSTRITER_INLI_1141(FMAPSTRITER_INLINE, STR, ITER_INLINE);
  358. void BE_insert_built__1167(BE);
  359. TP FSETTP_elt_nil_TP(FSETTP);
  360. FSETTP FSETTP_allocate_(FSETTP, INT);
  361. INT FSETTP_asize_INT(FSETTP);
  362. FSETTP FSETTP_double_si(FSETTP);
  363. INT FSETTP_elt_hash_(FSETTP, TP);
  364. TP FSETTP_aget_INT_TP(FSETTP, INT);
  365. BOOL FSETTP_elt_eq_TP(FSETTP, TP, TP);
  366. void FSETTP_aset_INT_TP(FSETTP, INT, TP);
  367. FSETTP FSETTP_insert_TP(FSETTP, TP);
  368. INT FMAPOBSTR_key_ha(FMAPOBSTR, OB);
  369. INT FMAPOBSTR_asize_INT(FMAPOBSTR);
  370. TUPOBSTR FMAPOBSTR_aget_I(FMAPOBSTR, INT);
  371. BOOL FMAPOBSTR_key_eq(FMAPOBSTR, OB, OB);
  372. OB FMAPOBSTR_key_nil_OB(FMAPOBSTR);
  373. STR FMAPOBSTR_get_OB_STR(FMAPOBSTR, OB);
  374. TUPOBSTR TUPOBSTR_t1_OB_T(TUPOBSTR, OB);
  375. TUPOBSTR TUPOBSTR_t2_STR_(TUPOBSTR, STR);
  376. TUPOBSTR TUPOBSTR_create_(TUPOBSTR, OB, STR);
  377. FMAPOBSTR FMAPOBSTR_alloca(FMAPOBSTR, INT);
  378. FMAPOBSTR FMAPOBSTR_insert(FMAPOBSTR, TUPOBSTR);
  379. FMAPOBSTR FMAPOBSTR_double(FMAPOBSTR);
  380. void FMAPOBSTR_aset_I(FMAPOBSTR, INT, TUPOBSTR);
  381. FMAPOBSTR FMAPOBSTR_insert_1222(FMAPOBSTR, OB, STR);
  382. void BE_force_mangle_(BE, OB, STR);
  383. void BE_insert_built__1241(BE);
  384. void BE_insert_specia(BE);
  385. BE BE_create_PROG_BE(BE, PROG);
  386. void PROG_create_back_end(PROG);
  387. void SFILE_ID_source_FSTR(SFILE_ID, FSTR);
  388. FLISTSTR FLISTSTR_create__1256(FLISTSTR, INT);
  389. void SFILE_ID_files_F(SFILE_ID, FLISTSTR);
  390. FLISTINT FLISTINT_create_(FLISTINT, INT);
  391. void SFILE_ID_lines_F(SFILE_ID, FLISTINT);
  392. BOOL FLISTINT_is_empt(FLISTINT);
  393. void FLISTINT_aclear(FLISTINT);
  394. void FLISTINT_clear(FLISTINT);
  395. void FLISTINT_aref_as(FLISTINT, INT, INT);
  396. void FLISTINT_aset_IN(FLISTINT, INT, INT);
  397. FLISTINT FLISTINT_push_IN(FLISTINT, INT);
  398. void SFILE_ID_pos_INT(SFILE_ID, INT);
  399. void SFILE_ID_column_INT(SFILE_ID, INT);
  400. void SFILE_ID_newline(SFILE_ID, BOOL);
  401. SFILE_ID SFILE_ID_loc_INT(SFILE_ID, INT);
  402. SFILE_ID SFILE_ID_create_(SFILE_ID, INT);
  403. SFILE_ID SFILE_ID_no_loca(SFILE_ID);
  404. void PROG_set_eloc_SF(PROG, SFILE_ID);
  405. BOOL SFILE_ID_open_fi(SFILE_ID, PROG, STR);
  406. void SFILE_ID_line_INT(SFILE_ID, INT);
  407. void SFILE_ID_line_po(SFILE_ID, INT);
  408. CHAR SFILE_ID_next_CHAR(SFILE_ID);
  409. SCANNER SCANNER_create_P(SCANNER, PROG, STR, BOOL);
  410. void SCANNER_fetch(SCANNER);
  411. void SCANNER_skip_whi(SCANNER);
  412. BOOL FSTR_is_eq_STR_BOOL(FSTR, STR);
  413. void SCANNER_add_buf_(SCANNER);
  414. TOKEN TOKEN_val_INT_TOKEN(TOKEN, INT);
  415. TOKEN TOKEN_create_INT(TOKEN, INT);
  416. TOKEN SCANNER_identifi(SCANNER);
  417. void SCANNER_comment(SCANNER);
  418. BOOL CHAR_is_lower_BOOL(CHAR);
  419. BOOL SCANNER_is_class(SCANNER, STR);
  420. INT INT_max_INT_INT(INT, INT);
  421. SFILE_ID SFILE_ID_source_(SFILE_ID);
  422. void SCANNER_error_STR(SCANNER, STR);
  423. void SCANNER_backup(SCANNER);
  424. INT CHAR_hex_digit_v(CHAR);
  425. CHAR SCANNER_characte(SCANNER);
  426. INTI INTI_u_plus_INTI(INTI, INTI, INTI);
  427. INT INTI_u_cmp_INTI_(INTI, INTI, INTI);
  428. INTI INTI_u_minus_INT(INTI, INTI, INTI);
  429. INTI INTI_plus_INTI_INTI(INTI, INTI);
  430. INTI SCANNER_int_lite(SCANNER, INT);
  431. INT CHAR_digit_value_INT(CHAR);
  432. INTI INTI_minus_INTI_INTI(INTI, INTI);
  433. BOOL INTI_is_neg_BOOL(INTI);
  434. INT INTI_int_INT(INTI);
  435. BOOL INTI_is_zero_BOOL(INTI);
  436. BOOL INTI_is_pos_BOOL(INTI);
  437. INTI INTI_abs_INTI(INTI);
  438. INTI INTI_u_div_mod_I(INTI, INTI, INTI);
  439. INTI INTI_get_u_mod_I(INTI, INTI, INTI, INTI);
  440. INTI INTI_mod_INTI_INTI(INTI, INTI);
  441. INTI INTI_gcd_INTI_INTI(INTI, INTI);
  442. INTI INTI_get_u_div_I(INTI, INTI, INTI, INTI);
  443. INTI INTI_u_times_plu(INTI, INTI, INT, INT);
  444. INTI INTI_div_INTI_INTI(INTI, INTI);
  445. RAT RAT_u_INTI_RAT(RAT, INTI);
  446. RAT RAT_v_INTI_RAT(RAT, INTI);
  447. RAT RAT_create_INTI_(RAT, INTI, INTI);
  448. RAT RAT_create_INTI_RAT(RAT, INTI);
  449. TOKEN SCANNER_number_TOKEN(SCANNER);
  450. TOKEN SCANNER_token_TOKEN(SCANNER);
  451. PARSER PARSER_create_PR(PARSER, PROG, STR, BOOL);
  452. void PARSER_enter_STR(PARSER, STR);
  453. BOOL PARSER_is_type_o(PARSER, TOKEN);
  454. BOOL TOKEN_is_eq_INT_BOOL(TOKEN, INT);
  455. TR_CLASS_DEF TR_CLASS_DEF_cre(TR_CLASS_DEF);
  456. SFILE_ID PARSER_source_lo(PARSER);
  457. BOOL TOKEN_is_neq_INT(TOKEN, INT);
  458. STR TOKEN_str_STR(TOKEN);
  459. STR FLISTSTR_top_STR(FLISTSTR);
  460. void PARSER_error_STR(PARSER, STR);
  461. void PARSER_exp_error_STR(PARSER, STR);
  462. void PARSER_fetch(PARSER);
  463. void PARSER_match_INT(PARSER, INT);
  464. BOOL PARSER_check_INT(PARSER, INT);
  465. IDENT PARSER_ident_IDENT(PARSER);
  466. TR_PARAM_DEC TR_PARAM_DEC_cre(TR_PARAM_DEC);
  467. BOOL PARSER_is_class_(PARSER, IDENT);
  468. TR_TYPE_SPEC TR_TYPE_SPEC_cre(TR_TYPE_SPEC);
  469. void TR_TYPE_SPEC_app(TR_TYPE_SPEC, TR_TYPE_SPEC);
  470. STR FLISTSTR_pop_STR(FLISTSTR);
  471. void PARSER_exit(PARSER);
  472. TR_TYPE_SPEC PARSER_type_spec(PARSER);
  473. TR_TYPE_SPEC PARSER_type_spec_1639(PARSER);
  474. TR_PARAM_DEC PARSER_param_dec(PARSER);
  475. void TR_PARAM_DEC_app(TR_PARAM_DEC, TR_PARAM_DEC);
  476. TR_ROUT_DEF TR_ROUT_DEF_crea(TR_ROUT_DEF);
  477. IDENT PARSER_append_ba(PARSER, IDENT);
  478. IDENT PARSER_rout_or_i(PARSER);
  479. BOOL IDENT_is_iter_BOOL(IDENT);
  480. TR_ARG_DEC TR_ARG_DEC_creat(TR_ARG_DEC);
  481. void TR_ARG_DEC_appen(TR_ARG_DEC, TR_ARG_DEC);
  482. TR_ARG_DEC PARSER_abstract_(PARSER, BOOL);
  483. TR_ROUT_DEF PARSER_abstract__1669(PARSER);
  484. TR_CLASS_ELT PARSER_abstract__1672(PARSER);
  485. TR_CLASS_DEF PARSER_abstract__1678(PARSER);
  486. void TR_CLASS_DEF_app(TR_CLASS_DEF, TR_CLASS_DEF);
  487. BOOL PARSER_is_class__1685(PARSER, TOKEN);
  488. TR_INCLUDE_CLAUSE TR_INCLUDE_CLAUS(TR_INCLUDE_CLAUSE);
  489. TR_FEAT_MOD TR_FEAT_MOD_crea(TR_FEAT_MOD);
  490. void TR_FEAT_MOD_appe(TR_FEAT_MOD, TR_FEAT_MOD);
  491. TR_CLASS_ELT PARSER_include_c(PARSER, TOKEN);
  492. TR_CONST_DEF TR_CONST_DEF_cre(TR_CONST_DEF);
  493. TR_INT_LIT_EXPR TR_INT_LIT_EXPR_(TR_INT_LIT_EXPR);
  494. TR_FLT_LIT_EXPR TR_FLT_LIT_EXPR_(TR_FLT_LIT_EXPR);
  495. RAT RAT_negate_RAT(RAT);
  496. TR_CALL_EXPR TR_CALL_EXPR_cre(TR_CALL_EXPR);
  497. TR_SELF_EXPR TR_SELF_EXPR_cre(TR_SELF_EXPR);
  498. TR_IS_VOID_EXPR TR_IS_VOID_EXPR_(TR_IS_VOID_EXPR);
  499. TR_VOID_EXPR TR_VOID_EXPR_cre(TR_VOID_EXPR);
  500. TR_NEW_EXPR TR_NEW_EXPR_crea(TR_NEW_EXPR);
  501. TR_BOUND_CREATE_EXPR TR_BOUND_CREATE_(TR_BOUND_CREATE_EXPR);
  502. TR_UNDERSCORE_ARG TR_UNDERSCORE_AR(TR_UNDERSCORE_ARG);
  503. TR_EXPR PARSER_expr_list(PARSER, BOOL);
  504. TR_CALL_EXPR PARSER_call_expr(PARSER, TR_EXPR, TR_TYPE_SPEC, BOOL);
  505. void PARSER_check_und(PARSER, TR_CALL_EXPR, BOOL);
  506. TR_BOUND_CREATE_EXPR PARSER_bound_cre(PARSER);
  507. TR_CREATE_EXPR TR_CREATE_EXPR_c(TR_CREATE_EXPR);
  508. TR_CREATE_EXPR PARSER_create_ex(PARSER);
  509. TR_ARRAY_EXPR TR_ARRAY_EXPR_cr(TR_ARRAY_EXPR);
  510. TR_EXCEPT_EXPR TR_EXCEPT_EXPR_c(TR_EXCEPT_EXPR);
  511. TR_INITIAL_EXPR TR_INITIAL_EXPR_(TR_INITIAL_EXPR);
  512. TR_RESULT_EXPR TR_RESULT_EXPR_c(TR_RESULT_EXPR);
  513. TR_BOOL_LIT_EXPR TR_BOOL_LIT_EXPR_1734(TR_BOOL_LIT_EXPR);
  514. TR_CHAR_LIT_EXPR TR_CHAR_LIT_EXPR_1736(TR_CHAR_LIT_EXPR);
  515. TR_STR_LIT_EXPR TR_STR_LIT_EXPR_(TR_STR_LIT_EXPR);
  516. INT INTI_cmp_INTI_INT(INTI, INTI);
  517. BOOL INTI_is_eq_INTI_BOOL(INTI, INTI);
  518. BOOL RAT_is_int_BOOL(RAT);
  519. INTI RAT_floor_INTI(RAT);
  520. TR_HERE_EXPR TR_HERE_EXPR_cre(TR_HERE_EXPR);
  521. TR_WHERE_EXPR TR_WHERE_EXPR_cr(TR_WHERE_EXPR);
  522. TR_NEAR_EXPR TR_NEAR_EXPR_cre(TR_NEAR_EXPR);
  523. TR_FAR_EXPR TR_FAR_EXPR_crea(TR_FAR_EXPR);
  524. TR_EXPR PARSER_expr0_TR_EXPR(PARSER);
  525. TR_TYPE_SPEC PARSER_type_of_T(PARSER, TR_EXPR);
  526. IDENT PARSER_ident_of_(PARSER, TR_EXPR);
  527. TR_EXPR PARSER_expr1_BOO(PARSER, BOOL);
  528. TR_EXPR PARSER_expr2_TR_EXPR(PARSER);
  529. TR_EXPR PARSER_expr3_TR_EXPR(PARSER);
  530. TR_EXPR PARSER_expr4_TR_EXPR(PARSER);
  531. TR_EXPR PARSER_expr5_TR_EXPR(PARSER);
  532. TR_EXPR PARSER_expr6_TR_EXPR(PARSER);
  533. TR_AND_EXPR TR_AND_EXPR_crea(TR_AND_EXPR);
  534. TR_OR_EXPR TR_OR_EXPR_creat(TR_OR_EXPR);
  535. TR_EXPR PARSER_expr7_TR_EXPR(PARSER);
  536. TR_AT_EXPR TR_AT_EXPR_creat(TR_AT_EXPR);
  537. TR_EXPR PARSER_expr_TR_EXPR(PARSER);
  538. TR_CLASS_ELT PARSER_const_def(PARSER, TOKEN);
  539. TR_SHARED_DEF TR_SHARED_DEF_cr(TR_SHARED_DEF);
  540. TR_CLASS_ELT PARSER_shared_de(PARSER, TOKEN);
  541. TR_ATTR_DEF TR_ATTR_DEF_crea(TR_ATTR_DEF);
  542. TR_CLASS_ELT PARSER_attr_def_(PARSER, TOKEN);
  543. TR_ARG_DEC PARSER_arg_dec_B(PARSER, BOOL);
  544. BOOL PARSER_is_expr_s(PARSER, TOKEN);
  545. BOOL PARSER_is_stmt_s(PARSER, TOKEN);
  546. TR_IF_STMT TR_IF_STMT_creat(TR_IF_STMT);
  547. TR_IF_STMT PARSER_if_stmt_T(PARSER);
  548. TR_LOOP_STMT TR_LOOP_STMT_cre(TR_LOOP_STMT);
  549. TR_LOOP_STMT PARSER_loop_stmt(PARSER);
  550. TR_RETURN_STMT TR_RETURN_STMT_c(TR_RETURN_STMT);
  551. TR_RETURN_STMT PARSER_return_st(PARSER);
  552. TR_YIELD_STMT TR_YIELD_STMT_cr(TR_YIELD_STMT);
  553. TR_YIELD_STMT PARSER_yield_stm(PARSER);
  554. TR_QUIT_STMT TR_QUIT_STMT_cre(TR_QUIT_STMT);
  555. TR_CASE_STMT TR_CASE_STMT_cre(TR_CASE_STMT);
  556. TR_CASE_WHEN TR_CASE_WHEN_cre(TR_CASE_WHEN);
  557. void TR_CASE_WHEN_app(TR_CASE_WHEN, TR_CASE_WHEN);
  558. TR_CASE_STMT PARSER_case_stmt(PARSER);
  559. TR_TYPECASE_STMT TR_TYPECASE_STMT_1862(TR_TYPECASE_STMT);
  560. TR_TYPECASE_WHEN TR_TYPECASE_WHEN_1864(TR_TYPECASE_WHEN);
  561. void TR_TYPECASE_WHEN_1866(TR_TYPECASE_WHEN, TR_TYPECASE_WHEN);
  562. TR_TYPECASE_STMT PARSER_typecase_(PARSER);
  563. TR_ASSERT_STMT TR_ASSERT_STMT_c(TR_ASSERT_STMT);
  564. TR_ASSERT_STMT PARSER_assert_st(PARSER);
  565. TR_PROTECT_STMT TR_PROTECT_STMT_(TR_PROTECT_STMT);
  566. TR_PROTECT_WHEN TR_PROTECT_WHEN_(TR_PROTECT_WHEN);
  567. void TR_PROTECT_WHEN__1878(TR_PROTECT_WHEN, TR_PROTECT_WHEN);
  568. TR_PROTECT_STMT PARSER_protect_s(PARSER);
  569. TR_RAISE_STMT TR_RAISE_STMT_cr(TR_RAISE_STMT);
  570. TR_RAISE_STMT PARSER_raise_stm(PARSER);
  571. TR_COBEGIN_STMT TR_COBEGIN_STMT_(TR_COBEGIN_STMT);
  572. TR_COBEGIN_STMT PARSER_cobegin_s(PARSER);
  573. TR_LOCK_STMT TR_LOCK_STMT_cre(TR_LOCK_STMT);
  574. TR_LOCK_STMT PARSER_lock_stmt(PARSER);
  575. TR_UNLOCK_STMT TR_UNLOCK_STMT_c(TR_UNLOCK_STMT);
  576. TR_UNLOCK_STMT PARSER_unlock_st(PARSER);
  577. TR_TRY_STMT TR_TRY_STMT_crea(TR_TRY_STMT);
  578. TR_TRY_STMT PARSER_try_stmt_(PARSER);
  579. TR_WITH_NEAR_STMT TR_WITH_NEAR_STM(TR_WITH_NEAR_STMT);
  580. TR_IDENT_LIST TR_IDENT_LIST_cr(TR_IDENT_LIST);
  581. void TR_IDENT_LIST_ap(TR_IDENT_LIST, TR_IDENT_LIST);
  582. TR_IDENT_LIST PARSER_ident_lis(PARSER);
  583. TR_WITH_NEAR_STMT PARSER_with_near(PARSER);
  584. TR_DIST_STMT TR_DIST_STMT_cre(TR_DIST_STMT);
  585. INT FLISTTR_EXPR_asi(FLISTTR_EXPR);
  586. INT FLISTTR_EXPR_siz(FLISTTR_EXPR);
  587. BOOL FLISTTR_EXPR_is_(FLISTTR_EXPR);
  588. void FLISTTR_EXPR_aclear(FLISTTR_EXPR);
  589. void FLISTTR_EXPR_clear(FLISTTR_EXPR);
  590. void FLISTTR_EXPR_are(FLISTTR_EXPR, INT, TR_EXPR);
  591. void FLISTTR_EXPR_ase_1920(FLISTTR_EXPR, INT, TR_EXPR);
  592. FLISTTR_EXPR FLISTTR_EXPR_pus(FLISTTR_EXPR, TR_EXPR);
  593. INT FLISTIDENT_asize_INT(FLISTIDENT);
  594. INT FLISTIDENT_size_INT(FLISTIDENT);
  595. BOOL FLISTIDENT_is_em(FLISTIDENT);
  596. void FLISTIDENT_aclear(FLISTIDENT);
  597. void FLISTIDENT_clear(FLISTIDENT);
  598. void FLISTIDENT_aref_(FLISTIDENT, INT, IDENT);
  599. void FLISTIDENT_aset__1939(FLISTIDENT, INT, IDENT);
  600. FLISTIDENT FLISTIDENT_push_(FLISTIDENT, IDENT);
  601. TR_DIST_STMT PARSER_dist_stmt(PARSER);
  602. TR_FORK_STMT TR_FORK_STMT_cre(TR_FORK_STMT);
  603. TR_EXPR_STMT TR_EXPR_STMT_cre(TR_EXPR_STMT);
  604. TR_BREAK_EXPR TR_BREAK_EXPR_cr(TR_BREAK_EXPR);
  605. TR_EXPR_STMT PARSER_break_stm(PARSER);
  606. TR_IF_STMT PARSER_make_if_s(PARSER, TR_EXPR, TR_STMT, TR_STMT);
  607. TR_ASSIGN_STMT TR_ASSIGN_STMT_c(TR_ASSIGN_STMT);
  608. TR_DEC_STMT TR_DEC_STMT_crea(TR_DEC_STMT);
  609. TR_STMT PARSER_stmt_TR_STMT(PARSER);
  610. TR_STMT PARSER_stmt_list(PARSER);
  611. TR_ROUT_DEF PARSER_rout_def_(PARSER, TOKEN);
  612. TR_CLASS_ELT PARSER_class_elt(PARSER);
  613. TR_CLASS_ELT PARSER_class_elt_1990(PARSER);
  614. TR_CLASS_DEF PARSER_class_def(PARSER);
  615. void SFILE_ID_close_file(SFILE_ID);
  616. void SCANNER_close_file(SCANNER);
  617. void PARSER_close_file(PARSER);
  618. TR_CLASS_DEF PARSER_source_fi(PARSER);
  619. STR FMAPSTRSTR_get_S(FMAPSTRSTR, STR);
  620. INT TR_PARAM_DEC_siz(TR_PARAM_DEC);
  621. TUPIDENTINT TUPIDENTINT_t1_I(TUPIDENTINT, IDENT);
  622. TUPIDENTINT TUPIDENTINT_t2_I(TUPIDENTINT, INT);
  623. TUPIDENTINT TUPIDENTINT_crea(TUPIDENTINT, IDENT, INT);
  624. INT PROG_TR_TBL_quer(PROG_TR_TBL, TUPIDENTINT);
  625. INT PROG_TR_TBL_asiz(PROG_TR_TBL);
  626. TR_CLASS_DEF PROG_TR_TBL_aget(PROG_TR_TBL, INT);
  627. BOOL PROG_TR_TBL_quer_2026(PROG_TR_TBL, TUPIDENTINT, TR_CLASS_DEF);
  628. TR_CLASS_DEF PROG_TR_TBL_elt_(PROG_TR_TBL);
  629. BOOL PROG_TR_TBL_elt__2031(PROG_TR_TBL, TR_CLASS_DEF, TR_CLASS_DEF);
  630. TR_CLASS_DEF PROG_TR_TBL_get_(PROG_TR_TBL, TUPIDENTINT);
  631. BOOL PROG_TR_TBL_test(PROG_TR_TBL, TUPIDENTINT);
  632. void PROG_PARSE_dup_c(PROG_PARSE, TR_CLASS_DEF);
  633. PROG_TR_TBL PROG_TR_TBL_allo(PROG_TR_TBL, INT);
  634. PROG_TR_TBL PROG_TR_TBL_doub(PROG_TR_TBL);
  635. INT PROG_TR_TBL_elt__2056(PROG_TR_TBL, TR_CLASS_DEF);
  636. void PROG_TR_TBL_aset_2059(PROG_TR_TBL, INT, TR_CLASS_DEF);
  637. PROG_TR_TBL PROG_TR_TBL_inse(PROG_TR_TBL, TR_CLASS_DEF);
  638. void PROG_PARSE_parse_STR(PROG_PARSE, STR);
  639. BOOL FSETTP_test_TP_BOOL(FSETTP, TP);
  640. TR_CLASS_DEF PROG_PARSE_tree_(PROG_PARSE, IDENT, INT);
  641. TR_CLASS_DEF PROG_tree_for_ID(PROG, IDENT, INT);
  642. ARRAYIDENT ARRAYIDENT_creat(ARRAYIDENT, INT);
  643. ARRAYIDENT PROG_pnames_for_(PROG, TP_CLASS);
  644. INT ARRAYIDENT_asize_INT(ARRAYIDENT);
  645. TP_CONTEXT TP_CONTEXT_creat(TP_CONTEXT, TP_CLASS, ARRAYIDENT, ARRAYTP, PROG);
  646. BOOL TP_CLASS_is_abst(TP_CLASS);
  647. TP_CONTEXT PROG_tp_context_(PROG, TP_CLASS);
  648. IDENT ARRAYIDENT_aget_(ARRAYIDENT, INT);
  649. TP ARRAYTP_aget_INT_TP(ARRAYTP, INT);
  650. TP TP_CONTEXT_value(TP_CONTEXT, IDENT);
  651. INT TR_TYPE_SPEC_siz(TR_TYPE_SPEC);
  652. TP TP_CONTEXT_tp_cl(TP_CONTEXT, TR_TYPE_SPEC);
  653. TP TP_CONTEXT_tp_ro(TP_CONTEXT, TR_TYPE_SPEC);
  654. TUPARRAYTPARRAYB TUPARRAYTPARRAYB_2133(TUPARRAYTPARRAYB, ARRAYTP);
  655. TUPARRAYTPARRAYB TUPARRAYTPARRAYB_2135(TUPARRAYTPARRAYB, ARRAYBOOL);
  656. TUPARRAYTPARRAYB TUPARRAYTPARRAYB_2137(TUPARRAYTPARRAYB, TP);
  657. TUPARRAYTPARRAYB TUPARRAYTPARRAYB_2139(TUPARRAYTPARRAYB, ARRAYTP, ARRAYBOOL, TP);
  658. INT TP_ITER_TBL_quer(TP_ITER_TBL, TUPARRAYTPARRAYB);
  659. INT TP_ITER_TBL_asiz(TP_ITER_TBL);
  660. TP_ITER TP_ITER_TBL_aget(TP_ITER_TBL, INT);
  661. INT ARRAYBOOL_asize_INT(ARRAYBOOL);
  662. INT ARRAYBOOL_size_INT(ARRAYBOOL);
  663. BOOL TP_ITER_TBL_quer_2156(TP_ITER_TBL, TUPARRAYTPARRAYB, TP_ITER);
  664. TP_ITER TP_ITER_TBL_elt_(TP_ITER_TBL);
  665. BOOL TP_ITER_TBL_elt__2172(TP_ITER_TBL, TP_ITER, TP_ITER);
  666. TP_ITER TP_ITER_TBL_get_(TP_ITER_TBL, TUPARRAYTPARRAYB);
  667. TP_ITER TP_ITER_create_A(TP_ITER, ARRAYTP, ARRAYBOOL, TP, PROG);
  668. TP_ITER_TBL TP_ITER_TBL_allo(TP_ITER_TBL, INT);
  669. TP_ITER_TBL TP_ITER_TBL_doub(TP_ITER_TBL);
  670. INT TP_ITER_TBL_elt__2200(TP_ITER_TBL, TP_ITER);
  671. void TP_ITER_TBL_aset_2212(TP_ITER_TBL, INT, TP_ITER);
  672. TP_ITER_TBL TP_ITER_TBL_inse(TP_ITER_TBL, TP_ITER);
  673. TP_ITER TP_TBL_tp_iter_f(TP_TBL, ARRAYTP, ARRAYBOOL, TP);
  674. ARRAYBOOL ARRAYBOOL_create(ARRAYBOOL, INT);
  675. BOOL ARRAYBOOL_elt_eq(ARRAYBOOL, BOOL, BOOL);
  676. BOOL ARRAYBOOL_contai(ARRAYBOOL, BOOL);
  677. TP TP_CONTEXT_tp_it(TP_CONTEXT, TR_TYPE_SPEC);
  678. TP TP_CONTEXT_tp_of(TP_CONTEXT, TR_TYPE_SPEC);
  679. TR_CLASS_DEF PROG_FIND_TYPES__2252(PROG_FIND_TYPES, IDENT, INT);
  680. INT FSETIDENT_elt_ha(FSETIDENT, IDENT);
  681. INT FSETIDENT_asize_INT(FSETIDENT);
  682. IDENT FSETIDENT_aget_I(FSETIDENT, INT);
  683. BOOL FSETIDENT_elt_eq(FSETIDENT, IDENT, IDENT);
  684. IDENT FSETIDENT_elt_ni(FSETIDENT);
  685. BOOL FSETIDENT_test_I(FSETIDENT, IDENT);
  686. STR TP_CLASS_str_STR(TP_CLASS);
  687. FSETIDENT FSETIDENT_alloca(FSETIDENT, INT);
  688. FSETIDENT FSETIDENT_double(FSETIDENT);
  689. void FSETIDENT_aset_I(FSETIDENT, INT, IDENT);
  690. FSETIDENT FSETIDENT_insert(FSETIDENT, IDENT);
  691. void PROG_FIND_TYPES__2302(PROG_FIND_TYPES, TP);
  692. void PROG_FIND_TYPES__2312(PROG_FIND_TYPES, TR_NODE);
  693. void PROG_FIND_TYPES__2316(PROG_FIND_TYPES, TR_CLASS_DEF);
  694. INT FMAPTPIMPL_key_h(FMAPTPIMPL, TP);
  695. INT FMAPTPIMPL_asize_INT(FMAPTPIMPL);
  696. TUPTPIMPL FMAPTPIMPL_aget_(FMAPTPIMPL, INT);
  697. BOOL FMAPTPIMPL_key_e(FMAPTPIMPL, TP, TP);
  698. TP FMAPTPIMPL_key_n(FMAPTPIMPL);
  699. IMPL FMAPTPIMPL_get_T(FMAPTPIMPL, TP);
  700. INT INT_hash_INT(INT);
  701. INT TUPIDENTINT_hash_INT(TUPIDENTINT);
  702. INT FSETTUPIDENTINT_(FSETTUPIDENTINT, TUPIDENTINT);
  703. INT FSETTUPIDENTINT__2334(FSETTUPIDENTINT);
  704. TUPIDENTINT FSETTUPIDENTINT__2336(FSETTUPIDENTINT, INT);
  705. BOOL TUPIDENTINT_is_e(TUPIDENTINT, TUPIDENTINT);
  706. BOOL FSETTUPIDENTINT__2341(FSETTUPIDENTINT, TUPIDENTINT, TUPIDENTINT);
  707. TUPIDENTINT FSETTUPIDENTINT__2345(FSETTUPIDENTINT);
  708. BOOL FSETTUPIDENTINT__2348(FSETTUPIDENTINT, TUPIDENTINT);
  709. STR IMPL_TBL_tup_str(IMPL_TBL, TUPIDENTINT);
  710. void IMPL_TBL_cycle_err(IMPL_TBL);
  711. FSETTUPIDENTINT FSETTUPIDENTINT__2374(FSETTUPIDENTINT);
  712. FSETTUPIDENTINT FSETTUPIDENTINT__2381(FSETTUPIDENTINT, INT);
  713. FSETTUPIDENTINT FSETTUPIDENTINT__2388(FSETTUPIDENTINT);
  714. void FSETTUPIDENTINT__2395(FSETTUPIDENTINT, INT, TUPIDENTINT);
  715. FSETTUPIDENTINT FSETTUPIDENTINT__2394(FSETTUPIDENTINT, TUPIDENTINT);
  716. PROG IMPL_prog_PROG(IMPL);
  717. INT PROG_tp_kind_TP_INT(PROG, TP);
  718. PROG IMPL_CREATE_prog(IMPL_CREATE);
  719. PROG SIG_prog_PROG(SIG);
  720. STR SIG_str_STR(SIG);
  721. BOOL FMAPSTRTUPSTRSTR_2424(FMAPSTRTUPSTRSTR, STR);
  722. BOOL BE_is_built_in_r(BE, SIG);
  723. void SIG_do_is_builtin(SIG);
  724. SIG SIG_const_reader(SIG, TR_CONST_DEF, IDENT, TP_CONTEXT);
  725. SIG SIG_shared_reade(SIG, TR_SHARED_DEF, IDENT, TP_CONTEXT);
  726. SIG SIG_attr_reader_(SIG, TR_ATTR_DEF, IDENT, TP_CONTEXT);
  727. INT TR_ARG_DEC_size_INT(TR_ARG_DEC);
  728. SIG SIG_rout_sig_TR_(SIG, TR_ROUT_DEF, IDENT, TP_CONTEXT);
  729. BOOL SIG_is_base_type(SIG, TP);
  730. BOOL SIG_is_base_aref(SIG, TP);
  731. BOOL SIG_is_legal_ext(SIG);
  732. ELT ELT_create_SIG_S(ELT, SIG, SIG, TR_CLASS_ELT, TP_CONTEXT, BOOL);
  733. BOOL SIG_is_legal_ext_2488(SIG);
  734. ELT IMPL_CREATE_read(IMPL_CREATE, TR_CLASS_ELT);
  735. IDENT ELT_name_IDENT(ELT);
  736. ELT ELT_TBL_elt_same(ELT_TBL, ELT);
  737. void IMPL_CREATE_ext_(IMPL_CREATE, ELT, ELT);
  738. ELT ELT_TBL_elt_nil_ELT(ELT_TBL);
  739. BOOL ELT_TBL_elt_eq_E(ELT_TBL, ELT, ELT);
  740. ELT_TBL ELT_TBL_allocate(ELT_TBL, INT);
  741. INT ELT_TBL_asize_INT(ELT_TBL);
  742. ELT_TBL ELT_TBL_double_s(ELT_TBL);
  743. INT ELT_TBL_elt_hash(ELT_TBL, ELT);
  744. ELT ELT_TBL_aget_INT_ELT(ELT_TBL, INT);
  745. void ELT_TBL_aset_INT_ELT(ELT_TBL, INT, ELT);
  746. ELT_TBL ELT_TBL_insert_E(ELT_TBL, ELT);
  747. BOOL SIG_has_ret_BOOL(SIG);
  748. BOOL SIG_conflicts_wi(SIG, SIG);
  749. BOOL ELT_conflicts_wi(ELT, ELT);
  750. ELT ELT_TBL_elt_conf(ELT_TBL, ELT);
  751. void IMPL_CREATE_read_2566(IMPL_CREATE, ELT, ELT);
  752. SIG SIG_shared_write(SIG, TR_SHARED_DEF, IDENT, TP_CONTEXT);
  753. SIG SIG_attr_writer_(SIG, TR_ATTR_DEF, IDENT, TP_CONTEXT);
  754. ELT IMPL_CREATE_writ(IMPL_CREATE, TR_CLASS_ELT);
  755. void IMPL_CREATE_writ_2583(IMPL_CREATE, ELT, ELT);
  756. ELT_TBL IMPL_CREATE_expl(IMPL_CREATE);
  757. PROG IMPL_INCLUDE_pro(IMPL_INCLUDE);
  758. BOOL ARRAYIDENT_elt_e(ARRAYIDENT, IDENT, IDENT);
  759. BOOL ARRAYIDENT_conta(ARRAYIDENT, IDENT);
  760. BOOL TP_CONTEXT_type_(TP_CONTEXT, TR_TYPE_SPEC);
  761. void IMPL_INCLUDE_par(IMPL_INCLUDE, TR_CLASS_ELT);
  762. void IMPL_INCLUDE_inc(IMPL_INCLUDE, TR_CLASS_ELT);
  763. void IMPL_INCLUDE_inc_2606(IMPL_INCLUDE, TR_CLASS_ELT);
  764. TP_CLASS IMPL_INCLUDE_inc_2609(IMPL_INCLUDE);
  765. IMPL IMPL_INCLUDE_inc_2614(IMPL_INCLUDE);
  766. BOOL IMPL_INCLUDE_tes(IMPL_INCLUDE);
  767. BOOL IMPL_INCLUDE_tes_2619(IMPL_INCLUDE);
  768. TR_FEAT_MOD FSETTR_FEAT_MOD_(FSETTR_FEAT_MOD);
  769. FSETTR_FEAT_MOD FSETTR_FEAT_MOD__2628(FSETTR_FEAT_MOD, INT);
  770. INT FSETTR_FEAT_MOD__2636(FSETTR_FEAT_MOD);
  771. FSETTR_FEAT_MOD FSETTR_FEAT_MOD__2638(FSETTR_FEAT_MOD);
  772. INT FSETTR_FEAT_MOD__2646(FSETTR_FEAT_MOD, TR_FEAT_MOD);
  773. TR_FEAT_MOD FSETTR_FEAT_MOD__2649(FSETTR_FEAT_MOD, INT);
  774. BOOL FSETTR_FEAT_MOD__2652(FSETTR_FEAT_MOD, TR_FEAT_MOD, TR_FEAT_MOD);
  775. void FSETTR_FEAT_MOD__2656(FSETTR_FEAT_MOD, INT, TR_FEAT_MOD);
  776. FSETTR_FEAT_MOD FSETTR_FEAT_MOD__2645(FSETTR_FEAT_MOD, TR_FEAT_MOD);
  777. TR_FEAT_MOD IMPL_INCLUDE_mod(IMPL_INCLUDE, IDENT);
  778. BOOL SIG_is_shared_wr(SIG);
  779. BOOL ELT_is_shared_wr(ELT);
  780. BOOL SIG_is_attr_writ(SIG);
  781. BOOL ELT_is_attr_writ(ELT);
  782. ELT IMPL_INCLUDE_mod_2674(IMPL_INCLUDE, ELT);
  783. void IMPL_INCLUDE_inc_2681(IMPL_INCLUDE, ELT, ELT);
  784. INT FSETTR_FEAT_MOD__2685(FSETTR_FEAT_MOD);
  785. INT TR_FEAT_MOD_size_INT(TR_FEAT_MOD);
  786. BOOL FSETTR_FEAT_MOD__2691(FSETTR_FEAT_MOD, TR_FEAT_MOD);
  787. void IMPL_INCLUDE_unu(IMPL_INCLUDE, TR_FEAT_MOD);
  788. ELT_TBL IMPL_INCLUDE_inc_2700(IMPL_INCLUDE);
  789. IMPL_INCLUDE IMPL_INCLUDE_cre(IMPL_INCLUDE, TP_CLASS, TR_INCLUDE_CLAUSE);
  790. INT FLISTIMPL_INCLUD(FLISTIMPL_INCLUDE);
  791. INT FLISTIMPL_INCLUD_2717(FLISTIMPL_INCLUDE);
  792. BOOL FLISTIMPL_INCLUD_2720(FLISTIMPL_INCLUDE);
  793. void FLISTIMPL_INCLUD_2722(FLISTIMPL_INCLUDE);
  794. void FLISTIMPL_INCLUD_2727(FLISTIMPL_INCLUDE);
  795. void FLISTIMPL_INCLUD_2728(FLISTIMPL_INCLUDE, INT, IMPL_INCLUDE);
  796. void FLISTIMPL_INCLUD_2731(FLISTIMPL_INCLUDE, INT, IMPL_INCLUDE);
  797. FLISTIMPL_INCLUDE FLISTIMPL_INCLUD_2734(FLISTIMPL_INCLUDE, IMPL_INCLUDE);
  798. void IMPL_CREATE_do_incs(IMPL_CREATE);
  799. IMPL IMPL_create_IMPL(IMPL);
  800. BOOL TP_CLASS_is_eq_T(TP_CLASS, TP);
  801. void IMPL_CREATE_arra(IMPL_CREATE, IMPL_INCLUDE, TP_CLASS, TP_CLASS);
  802. TP_CLASS IMPL_CREATE_get_(IMPL_CREATE);
  803. IMPL_INCLUDE FLISTIMPL_INCLUD_2757(FLISTIMPL_INCLUDE, INT);
  804. IMPL_INCLUDE FLISTIMPL_INCLUD_2760(FLISTIMPL_INCLUDE, INT);
  805. IMPL_INCLUDE FLISTIMPL_INCLUD_2763(FLISTIMPL_INCLUDE);
  806. BOOL ELT_is_attr_acce(ELT);
  807. void IMPL_CREATE_attr(IMPL_CREATE, ELT, ELT, IMPL_INCLUDE);
  808. BOOL ELT_is_abstract_BOOL(ELT);
  809. void IMPL_CREATE_incl(IMPL_CREATE, IMPL_INCLUDE, IMPL_INCLUDE, ELT, ELT);
  810. ELT_TBL IMPL_CREATE_elt_(IMPL_CREATE);
  811. SIG SIG_TBL_elt_nil_SIG(SIG_TBL);
  812. BOOL SIG_is_eq_SIG_BOOL(SIG, SIG);
  813. BOOL SIG_TBL_elt_eq_S(SIG_TBL, SIG, SIG);
  814. SIG_TBL SIG_TBL_allocate(SIG_TBL, INT);
  815. INT SIG_TBL_asize_INT(SIG_TBL);
  816. SIG_TBL SIG_TBL_double_s(SIG_TBL);
  817. INT SIG_TBL_elt_hash(SIG_TBL, SIG);
  818. SIG SIG_TBL_aget_INT_SIG(SIG_TBL, INT);
  819. void SIG_TBL_aset_INT_SIG(SIG_TBL, INT, SIG);
  820. SIG_TBL SIG_TBL_insert_S(SIG_TBL, SIG);
  821. IFC IFC_create_SIG_T(IFC, SIG_TBL, TP);
  822. IFC ELT_TBL_public_i(ELT_TBL);
  823. IMPL IMPL_CREATE_impl(IMPL_CREATE, TP_CLASS);
  824. IMPL IMPL_create_for_(IMPL, TP);
  825. TUPTPIMPL TUPTPIMPL_t1_TP_(TUPTPIMPL, TP);
  826. TUPTPIMPL TUPTPIMPL_t2_IMP(TUPTPIMPL, IMPL);
  827. TUPTPIMPL TUPTPIMPL_create(TUPTPIMPL, TP, IMPL);
  828. FMAPTPIMPL FMAPTPIMPL_alloc(FMAPTPIMPL, INT);
  829. FMAPTPIMPL FMAPTPIMPL_inser(FMAPTPIMPL, TUPTPIMPL);
  830. FMAPTPIMPL FMAPTPIMPL_doubl(FMAPTPIMPL);
  831. void FMAPTPIMPL_aset__2869(FMAPTPIMPL, INT, TUPTPIMPL);
  832. FMAPTPIMPL FMAPTPIMPL_inser_2863(FMAPTPIMPL, TP, IMPL);
  833. FSETTUPIDENTINT FSETTUPIDENTINT__2880(FSETTUPIDENTINT);
  834. FSETTUPIDENTINT FSETTUPIDENTINT__2886(FSETTUPIDENTINT, TUPIDENTINT);
  835. STR TP_ROUT_str_STR(TP_ROUT);
  836. STR TP_ITER_str_STR(TP_ITER);
  837. IMPL IMPL_TBL_impl_of(IMPL_TBL, TP);
  838. void PROG_FIND_TYPES__2926(PROG_FIND_TYPES, IMPL);
  839. TP FSETTP_first_elt_TP(FSETTP);
  840. FSETTP FSETTP_halve_siz(FSETTP);
  841. FSETTP FSETTP_delete_TP(FSETTP, TP);
  842. void PROG_FIND_TYPES__2947(PROG_FIND_TYPES);
  843. void PROG_FIND_TYPES__2956(PROG_FIND_TYPES);
  844. void PROG_do_find_typ(PROG);
  845. TP_CLASS FMAPTP_CLASSFSET_2966(FMAPTP_CLASSFSET);
  846. TUPTP_CLASSFSETT TUPTP_CLASSFSETT_2969(TUPTP_CLASSFSETT, TP_CLASS);
  847. TUPTP_CLASSFSETT TUPTP_CLASSFSETT_2971(TUPTP_CLASSFSETT, FSETTP_CLASS);
  848. TUPTP_CLASSFSETT TUPTP_CLASSFSETT_2973(TUPTP_CLASSFSETT, TP_CLASS, FSETTP_CLASS);
  849. INT FMAPTP_CLASSFSET_2975(FMAPTP_CLASSFSET, TP_CLASS);
  850. INT FMAPTP_CLASSFSET_2977(FMAPTP_CLASSFSET);
  851. TUPTP_CLASSFSETT FMAPTP_CLASSFSET_2979(FMAPTP_CLASSFSET, INT);
  852. BOOL FMAPTP_CLASSFSET_2982(FMAPTP_CLASSFSET, TP_CLASS, TP_CLASS);
  853. TUPTP_CLASSFSETT FMAPTP_CLASSFSET_2984(FMAPTP_CLASSFSET, TP_CLASS);
  854. TR_CLASS_DEF PROG_tree_head_f(PROG, IDENT, INT);
  855. TP_CLASS FSETTP_CLASS_elt(FSETTP_CLASS);
  856. FSETTP_CLASS FSETTP_CLASS_all(FSETTP_CLASS, INT);
  857. INT FSETTP_CLASS_asi(FSETTP_CLASS);
  858. FSETTP_CLASS FSETTP_CLASS_dou(FSETTP_CLASS);
  859. INT FSETTP_CLASS_elt_3008(FSETTP_CLASS, TP_CLASS);
  860. TP_CLASS FSETTP_CLASS_age(FSETTP_CLASS, INT);
  861. BOOL FSETTP_CLASS_elt_3013(FSETTP_CLASS, TP_CLASS, TP_CLASS);
  862. void FSETTP_CLASS_ase_3017(FSETTP_CLASS, INT, TP_CLASS);
  863. FSETTP_CLASS FSETTP_CLASS_ins(FSETTP_CLASS, TP_CLASS);
  864. FMAPTP_CLASSFSET FMAPTP_CLASSFSET_3028(FMAPTP_CLASSFSET, INT);
  865. FMAPTP_CLASSFSET FMAPTP_CLASSFSET_3036(FMAPTP_CLASSFSET, TUPTP_CLASSFSETT);
  866. FMAPTP_CLASSFSET FMAPTP_CLASSFSET_3039(FMAPTP_CLASSFSET);
  867. void FMAPTP_CLASSFSET_3046(FMAPTP_CLASSFSET, INT, TUPTP_CLASSFSETT);
  868. FMAPTP_CLASSFSET FMAPTP_CLASSFSET_3038(FMAPTP_CLASSFSET, TP_CLASS, FSETTP_CLASS);
  869. FSETTP_CLASS TP_GRAPH_ANC_get(TP_GRAPH_ANC, TP_CLASS);
  870. STR TP_GRAPH_ANC_tup(TP_GRAPH_ANC, TUPIDENTINT);
  871. FSETTP_CLASS FSETTP_CLASS_to_(FSETTP_CLASS, FSETTP_CLASS);
  872. FSETTP_CLASS TP_GRAPH_ANC_get_3088(TP_GRAPH_ANC, TP_CLASS);
  873. TP_CLASS FMAPTP_CLASSFSET_3105(FMAPTP_CLASSFSETTP);
  874. TUPTP_CLASSFSETTP TUPTP_CLASSFSETT_3108(TUPTP_CLASSFSETTP, TP_CLASS);
  875. TUPTP_CLASSFSETTP TUPTP_CLASSFSETT_3110(TUPTP_CLASSFSETTP, FSETTP);
  876. TUPTP_CLASSFSETTP TUPTP_CLASSFSETT_3112(TUPTP_CLASSFSETTP, TP_CLASS, FSETTP);
  877. INT FMAPTP_CLASSFSET_3114(FMAPTP_CLASSFSETTP, TP_CLASS);
  878. INT FMAPTP_CLASSFSET_3116(FMAPTP_CLASSFSETTP);
  879. TUPTP_CLASSFSETTP FMAPTP_CLASSFSET_3118(FMAPTP_CLASSFSETTP, INT);
  880. BOOL FMAPTP_CLASSFSET_3121(FMAPTP_CLASSFSETTP, TP_CLASS, TP_CLASS);
  881. TUPTP_CLASSFSETTP FMAPTP_CLASSFSET_3123(FMAPTP_CLASSFSETTP, TP_CLASS);
  882. FMAPTP_CLASSFSETTP FMAPTP_CLASSFSET_3129(FMAPTP_CLASSFSETTP, INT);
  883. FMAPTP_CLASSFSETTP FMAPTP_CLASSFSET_3137(FMAPTP_CLASSFSETTP, TUPTP_CLASSFSETTP);
  884. FMAPTP_CLASSFSETTP FMAPTP_CLASSFSET_3140(FMAPTP_CLASSFSETTP);
  885. void FMAPTP_CLASSFSET_3147(FMAPTP_CLASSFSETTP, INT, TUPTP_CLASSFSETTP);
  886. FMAPTP_CLASSFSETTP FMAPTP_CLASSFSET_3139(FMAPTP_CLASSFSETTP, TP_CLASS, FSETTP);
  887. FSETTP TP_GRAPH_DES_get(TP_GRAPH_DES, TP_CLASS);
  888. STR TP_GRAPH_DES_tup(TP_GRAPH_DES, TUPIDENTINT);
  889. FSETTP FSETTP_to_union_(FSETTP, FSETTP);
  890. FSETTP TP_GRAPH_DES_get_3183(TP_GRAPH_DES, TP_CLASS);
  891. FSETTP FMAPTP_CLASSFSET_3200(FMAPTP_CLASSFSETTP, TP_CLASS);
  892. void TP_GRAPH_ABS_DES_3206(TP_GRAPH_ABS_DES, TP_CLASS, TP);
  893. void TP_GRAPH_ABS_DES_3209(TP_GRAPH_ABS_DES);
  894. void TP_GRAPH_ABS_DES_3214(TP_GRAPH_ABS_DES);
  895. void TP_GRAPH_ABS_DES_3222(TP_GRAPH_ABS_DES);
  896. void TP_GRAPH_ABS_DES_3230(TP_GRAPH_ABS_DES);
  897. void PROG_TYPE_GRAPH__3231(PROG_TYPE_GRAPH);
  898. void PROG_TYPE_GRAPH__3247(PROG_TYPE_GRAPH);
  899. void PROG_TYPE_GRAPH__3263(PROG_TYPE_GRAPH);
  900. void PROG_TYPE_GRAPH__3276(PROG_TYPE_GRAPH);
  901. void PROG_do_type_gra(PROG);
  902. INT FMAPTPIFC_key_ha(FMAPTPIFC, TP);
  903. INT FMAPTPIFC_asize_INT(FMAPTPIFC);
  904. TUPTPIFC FMAPTPIFC_aget_I(FMAPTPIFC, INT);
  905. BOOL FMAPTPIFC_key_eq(FMAPTPIFC, TP, TP);
  906. TP FMAPTPIFC_key_nil_TP(FMAPTPIFC);
  907. IFC FMAPTPIFC_get_TP_IFC(FMAPTPIFC, TP);
  908. STR IFC_TBL_tup_str_(IFC_TBL, TUPIDENTINT);
  909. void IFC_TBL_cycle_err(IFC_TBL);
  910. PROG IFC_ABS_CREATE_p(IFC_ABS_CREATE);
  911. SIG SIG_TBL_sig_conf(SIG_TBL, SIG);
  912. void IFC_ABS_CREATE_d(IFC_ABS_CREATE);
  913. INT FLISTIFC_asize_INT(FLISTIFC);
  914. INT FLISTIFC_size_INT(FLISTIFC);
  915. BOOL FLISTIFC_is_empt(FLISTIFC);
  916. void FLISTIFC_aclear(FLISTIFC);
  917. void FLISTIFC_clear(FLISTIFC);
  918. void FLISTIFC_aref_as(FLISTIFC, INT, IFC);
  919. void FLISTIFC_aset_IN(FLISTIFC, INT, IFC);
  920. FLISTIFC FLISTIFC_push_IF(FLISTIFC, IFC);
  921. void IFC_ABS_CREATE_d_3343(IFC_ABS_CREATE);
  922. IFC FLISTIFC_aref_ag(FLISTIFC, INT);
  923. IFC FLISTIFC_aget_IN(FLISTIFC, INT);
  924. IFC FLISTIFC_pop_IFC(FLISTIFC);
  925. BOOL SIG_is_eq_but_tp(SIG, SIG);
  926. SIG SIG_with_new_typ(SIG, TP);
  927. SIG_TBL IFC_ABS_CREATE_d_3371(IFC_ABS_CREATE);
  928. IFC IFC_ABS_CREATE_i(IFC_ABS_CREATE, TP_CLASS);
  929. SIG SIG_bound_routin(SIG, TP_ROUT);
  930. IFC IFC_ifc_for_rout(IFC, TP_ROUT);
  931. SIG SIG_bound_iter_c(SIG, TP_ITER);
  932. IFC IFC_ifc_for_iter(IFC, TP_ITER);
  933. TUPTPIFC TUPTPIFC_t1_TP_T(TUPTPIFC, TP);
  934. TUPTPIFC TUPTPIFC_t2_IFC_(TUPTPIFC, IFC);
  935. TUPTPIFC TUPTPIFC_create_(TUPTPIFC, TP, IFC);
  936. FMAPTPIFC FMAPTPIFC_alloca(FMAPTPIFC, INT);
  937. FMAPTPIFC FMAPTPIFC_insert(FMAPTPIFC, TUPTPIFC);
  938. FMAPTPIFC FMAPTPIFC_double(FMAPTPIFC);
  939. void FMAPTPIFC_aset_I(FMAPTPIFC, INT, TUPTPIFC);
  940. FMAPTPIFC FMAPTPIFC_insert_3415(FMAPTPIFC, TP, IFC);
  941. IFC IFC_TBL_ifc_of_T(IFC_TBL, TP);
  942. void IFC_show(IFC);
  943. BOOL SIG_conforms_to_(SIG, SIG);
  944. SIG IFC_sig_conformi(IFC, SIG);
  945. SIG IFC_nonconformin(IFC, IFC);
  946. BOOL IFC_conforms_to_(IFC, IFC);
  947. void PROG_IFC_CONFORM_3470(PROG_IFC_CONFORMANCE);
  948. void PROG_do_ifc_conf(PROG);
  949. void PROG_GET_MAIN_ge(PROG_GET_MAIN, STR);
  950. void PROG_do_get_main(PROG, STR);
  951. extern void mkdirxx(CHAR []);
  952. void FILE_create_dire(FILE_20, STR);
  953.  
  954. void FILE_plus_CHAR(FILE_20, CHAR);
  955. extern FILE *fopen(const char*, const char*);
  956. FILE_20 FILE_open_for_wr(FILE_20, STR);
  957. void BE_new_c_file(BE);
  958. FILE_20 FILE_plus_STR_FILE(FILE_20, STR);
  959. FMAPTPINT FMAPTPINT_create(FMAPTPINT);
  960. FLISTTP_CLASS FLISTTP_CLASS_cr(FLISTTP_CLASS);
  961. INT FLISTTP_CLASS_as(FLISTTP_CLASS);
  962. INT FLISTTP_CLASS_si(FLISTTP_CLASS);
  963. BOOL FLISTTP_CLASS_is(FLISTTP_CLASS);
  964. void FLISTTP_CLASS_aclear(FLISTTP_CLASS);
  965. void FLISTTP_CLASS_clear(FLISTTP_CLASS);
  966. void FLISTTP_CLASS_ar(FLISTTP_CLASS, INT, TP_CLASS);
  967. void FLISTTP_CLASS_as_3518(FLISTTP_CLASS, INT, TP_CLASS);
  968. FLISTTP_CLASS FLISTTP_CLASS_pu(FLISTTP_CLASS, TP_CLASS);
  969. INT TP_CLASS_kind_INT(TP_CLASS);
  970. BOOL BE_is_built_in_t(BE, TP);
  971. OB FSETOB_elt_nil_OB(FSETOB);
  972. FSETOB FSETOB_allocate_(FSETOB, INT);
  973. INT FSETOB_asize_INT(FSETOB);
  974. FSETOB FSETOB_double_si(FSETOB);
  975. INT FSETOB_elt_hash_(FSETOB, OB);
  976. OB FSETOB_aget_INT_OB(FSETOB, INT);
  977. BOOL FSETOB_elt_eq_OB(FSETOB, OB, OB);
  978. void FSETOB_aset_INT_OB(FSETOB, INT, OB);
  979. FSETOB FSETOB_insert_OB(FSETOB, OB);
  980. FSTR FSTR_plus_FSTR_FSTR(FSTR, FSTR);
  981. BOOL FMAPOBSTR_test_O(FMAPOBSTR, OB);
  982. STR BE_mangle_OB_STR(BE, OB);
  983. BOOL TP_CLASS_is_boun(TP_CLASS);
  984. AM_OB_DEF AM_OB_DEF_create(AM_OB_DEF, SFILE_ID);
  985. BOOL SIG_is_reader_si(SIG);
  986. BOOL ELT_is_const_rea(ELT);
  987. INT IMPL_asize_val_INT(IMPL);
  988. BOOL ELT_is_attr_read(ELT);
  989. IDENT FMAPIDENTTP_key_(FMAPIDENTTP);
  990. TUPIDENTTP TUPIDENTTP_t1_ID(TUPIDENTTP, IDENT);
  991. TUPIDENTTP TUPIDENTTP_t2_TP(TUPIDENTTP, TP);
  992. TUPIDENTTP TUPIDENTTP_creat(TUPIDENTTP, IDENT, TP);
  993. FMAPIDENTTP FMAPIDENTTP_allo(FMAPIDENTTP, INT);
  994. INT FMAPIDENTTP_asiz(FMAPIDENTTP);
  995. FMAPIDENTTP FMAPIDENTTP_inse(FMAPIDENTTP, TUPIDENTTP);
  996. FMAPIDENTTP FMAPIDENTTP_doub(FMAPIDENTTP);
  997. INT FMAPIDENTTP_key__3623(FMAPIDENTTP, IDENT);
  998. TUPIDENTTP FMAPIDENTTP_aget(FMAPIDENTTP, INT);
  999. BOOL FMAPIDENTTP_key__3627(FMAPIDENTTP, IDENT, IDENT);
  1000. void FMAPIDENTTP_aset_3629(FMAPIDENTTP, INT, TUPIDENTTP);
  1001. FMAPIDENTTP FMAPIDENTTP_inse_3617(FMAPIDENTTP, IDENT, TP);
  1002. AM_OB_DEF IMPL_am_ob_def_A(IMPL);
  1003. AM_OB_DEF PROG_am_ob_def_f(PROG, TP);
  1004. void BE_comment_FILE_STR(BE, FILE_20, STR);
  1005. BOOL TP_CLASS_is_valu(TP_CLASS);
  1006. FILE_20 FILE_plus_CHAR_FILE(FILE_20, CHAR);
  1007. STR INT_str_STR(INT);
  1008. void FILE_plus_INT(FILE_20, INT);
  1009. FILE_20 FILE_plus_INT_FILE(FILE_20, INT);
  1010. void BE_generate_layouts(BE);
  1011. void BE_init(BE);
  1012. SIG SIG_TBL_get_SIG_SIG(SIG_TBL, SIG);
  1013. SIG SIG_TBL_sig_eq_t(SIG_TBL, SIG);
  1014. AM_ROUT_DEF AM_ROUT_DEF_crea(AM_ROUT_DEF, INT, SFILE_ID);
  1015. FSETTP TP_GRAPH_ABS_DES_3738(TP_GRAPH_ABS_DES, TP_CLASS);
  1016. FSETTP PROG_descendants(PROG, TP_CLASS);
  1017. INT FLISTSIG_asize_INT(FLISTSIG);
  1018. INT FLISTSIG_size_INT(FLISTSIG);
  1019. BOOL FLISTSIG_is_empt(FLISTSIG);
  1020. void FLISTSIG_aclear(FLISTSIG);
  1021. void FLISTSIG_clear(FLISTSIG);
  1022. void FLISTSIG_aref_as(FLISTSIG, INT, SIG);
  1023. void FLISTSIG_aset_IN(FLISTSIG, INT, SIG);
  1024. FLISTSIG FLISTSIG_push_SI(FLISTSIG, SIG);
  1025. INT AM_ROUT_DEF_asiz(AM_ROUT_DEF);
  1026. INT AM_ROUT_DEF_size_INT(AM_ROUT_DEF);
  1027. AM_LOCAL_EXPR AM_ROUT_DEF_aget(AM_ROUT_DEF, INT);
  1028. void AM_OUT_AM_LOCAL_(AM_OUT, AM_LOCAL_EXPR);
  1029. INT FLISTAM_LOCAL_EX(FLISTAM_LOCAL_EXPR);
  1030. INT FLISTAM_LOCAL_EX_3770(FLISTAM_LOCAL_EXPR);
  1031. AM_LOCAL_EXPR FLISTAM_LOCAL_EX_3772(FLISTAM_LOCAL_EXPR, INT);
  1032. AM_LOCAL_EXPR FLISTAM_LOCAL_EX_3775(FLISTAM_LOCAL_EXPR, INT);
  1033. void AM_OUT_AM_ARRAY_(AM_OUT, AM_ARRAY_EXPR);
  1034. INT AM_BND_CREATE_EX(AM_BND_CREATE_EXPR);
  1035. AM_EXPR AM_BND_CREATE_EX_3787(AM_BND_CREATE_EXPR, INT);
  1036. INT ARRAYINT_asize_INT(ARRAYINT);
  1037. INT ARRAYINT_aget_IN(ARRAYINT, INT);
  1038. extern void c_out_str(CHAR []);
  1039. void OUT_plus_INT(OUT, INT);
  1040. void AM_OUT_AM_BND_CR(AM_OUT, AM_BND_CREATE_EXPR);
  1041. void AM_OUT_AM_IF_EXP(AM_OUT, AM_IF_EXPR);
  1042. void AM_OUT_AM_NEW_EX(AM_OUT, AM_NEW_EXPR);
  1043. void AM_OUT_AM_IS_VOI(AM_OUT, AM_IS_VOID_EXPR);
  1044. void AM_OUT_AM_GLOBAL(AM_OUT, AM_GLOBAL_EXPR);
  1045. void AM_OUT_AM_ATTR_E(AM_OUT, AM_ATTR_EXPR);
  1046. void AM_OUT_AM_ARR_EX(AM_OUT, AM_ARR_EXPR);
  1047. void AM_OUT_AM_VATTR_(AM_OUT, AM_VATTR_ASSIGN_EXPR);
  1048. void AM_OUT_AM_VARR_A(AM_OUT, AM_VARR_ASSIGN_EXPR);
  1049. void AM_OUT_AM_EXCEPT(AM_OUT, AM_EXCEPT_EXPR);
  1050. void AM_OUT_AM_STMT_E(AM_OUT, AM_STMT_EXPR);
  1051. void AM_OUT_AM_ROUT_C(AM_OUT, AM_ROUT_CALL_EXPR);
  1052. void AM_OUT_AM_ITER_C(AM_OUT, AM_ITER_CALL_EXPR);
  1053. void AM_OUT_AM_BND_RO(AM_OUT, AM_BND_ROUT_CALL);
  1054. void AM_OUT_AM_BND_IT(AM_OUT, AM_BND_ITER_CALL);
  1055. void AM_OUT_AM_EXT_CA(AM_OUT, AM_EXT_CALL_EXPR);
  1056. void AM_OUT_AM_VOID_C(AM_OUT, AM_VOID_CONST);
  1057. void AM_OUT_AM_ARR_CO(AM_OUT, AM_ARR_CONST);
  1058. void AM_OUT_AM_BOOL_C(AM_OUT, AM_BOOL_CONST);
  1059. extern void c_out_char(CHAR);
  1060. OUT OUT_plus_CHAR_OUT(OUT, CHAR);
  1061. void AM_OUT_AM_CHAR_C(AM_OUT, AM_CHAR_CONST);
  1062. void AM_OUT_AM_STR_CO(AM_OUT, AM_STR_CONST);
  1063. INT FLISTINT_pop_INT(FLISTINT);
  1064. FSTR INTI_str_in_FSTR_3927(INTI, FSTR);
  1065. void INTI_buf_FSTR(INTI, FSTR);
  1066. STR INTI_str_STR(INTI);
  1067. extern void c_out_str(CHAR []);
  1068. void OUT_plus_INTI(OUT, INTI);
  1069. void AM_OUT_AM_INT_CO(AM_OUT, AM_INT_CONST);
  1070. void AM_OUT_AM_INTI_C(AM_OUT, AM_INTI_CONST);
  1071. STR RAT_str_STR(RAT);
  1072. void AM_OUT_AM_FLT_CO(AM_OUT, AM_FLT_CONST);
  1073. void AM_OUT_AM_FLTD_C(AM_OUT, AM_FLTD_CONST);
  1074. void AM_OUT_AM_FLTX_C(AM_OUT, AM_FLTX_CONST);
  1075. void AM_OUT_AM_FLTDX_(AM_OUT, AM_FLTDX_CONST);
  1076. void AM_OUT_AM_FLTI_C(AM_OUT, AM_FLTI_CONST);
  1077. void AM_OUT_AM_EXPR_o(AM_OUT, AM_EXPR);
  1078. void AM_OUT_AM_ASSIGN(AM_OUT, AM_ASSIGN_STMT);
  1079. void AM_OUT_AM_IF_STM(AM_OUT, AM_IF_STMT);
  1080. void AM_OUT_AM_LOOP_S(AM_OUT, AM_LOOP_STMT);
  1081. void AM_OUT_AM_BREAK_(AM_OUT, AM_BREAK_STMT);
  1082. void AM_OUT_AM_RETURN(AM_OUT, AM_RETURN_STMT);
  1083. void AM_OUT_AM_YIELD_(AM_OUT, AM_YIELD_STMT);
  1084. INT FLISTFLISTAM_CON(FLISTFLISTAM_CONST);
  1085. INT FLISTFLISTAM_CON_3983(FLISTFLISTAM_CONST);
  1086. FLISTAM_CONST FLISTFLISTAM_CON_3985(FLISTFLISTAM_CONST, INT);
  1087. FLISTAM_CONST FLISTFLISTAM_CON_3988(FLISTFLISTAM_CONST, INT);
  1088. INT FLISTAM_CONST_si(FLISTAM_CONST);
  1089. INT FLISTAM_CONST_as(FLISTAM_CONST);
  1090. AM_CONST FLISTAM_CONST_ar(FLISTAM_CONST, INT);
  1091. AM_CONST FLISTAM_CONST_ag(FLISTAM_CONST, INT);
  1092. void AM_OUT_AM_CONST_(AM_OUT, AM_CONST);
  1093. INT FLISTAM_STMT_asi(FLISTAM_STMT);
  1094. AM_STMT FLISTAM_STMT_are(FLISTAM_STMT, INT);
  1095. AM_STMT FLISTAM_STMT_age(FLISTAM_STMT, INT);
  1096. void AM_OUT_AM_CASE_S(AM_OUT, AM_CASE_STMT);
  1097. INT FLISTTP_size_INT(FLISTTP);
  1098. INT FLISTTP_asize_INT(FLISTTP);
  1099. TP FLISTTP_aref_age(FLISTTP, INT);
  1100. TP FLISTTP_aget_INT_TP(FLISTTP, INT);
  1101. void AM_OUT_AM_TYPECA(AM_OUT, AM_TYPECASE_STMT);
  1102. void AM_OUT_AM_PRE_ST(AM_OUT, AM_PRE_STMT);
  1103. void AM_OUT_AM_POST_S(AM_OUT, AM_POST_STMT);
  1104. void AM_OUT_AM_INITIA(AM_OUT, AM_INITIAL_STMT);
  1105. void AM_OUT_AM_ASSERT(AM_OUT, AM_ASSERT_STMT);
  1106. void AM_OUT_AM_INVARI(AM_OUT, AM_INVARIANT_STMT);
  1107. void AM_OUT_AM_PROTEC(AM_OUT, AM_PROTECT_STMT);
  1108. void AM_OUT_AM_RAISE_(AM_OUT, AM_RAISE_STMT);
  1109. void AM_OUT_AM_EXPR_S(AM_OUT, AM_EXPR_STMT);
  1110. void AM_OUT_AM_STMT_o(AM_OUT, AM_STMT);
  1111. void AM_OUT_AM_ROUT_D(AM_OUT, AM_ROUT_DEF);
  1112. extern void c_out_char(CHAR);
  1113. void OUT_plus_CHAR(OUT, CHAR);
  1114. INT FLISTAM_ROUT_DEF_4079(FLISTAM_ROUT_DEF);
  1115. INT FLISTAM_ROUT_DEF_4081(FLISTAM_ROUT_DEF);
  1116. BOOL FLISTAM_ROUT_DEF_4083(FLISTAM_ROUT_DEF);
  1117. void FLISTAM_ROUT_DEF_4085(FLISTAM_ROUT_DEF);
  1118. void FLISTAM_ROUT_DEF_4090(FLISTAM_ROUT_DEF);
  1119. void FLISTAM_ROUT_DEF_4091(FLISTAM_ROUT_DEF, INT, AM_ROUT_DEF);
  1120. void FLISTAM_ROUT_DEF_4094(FLISTAM_ROUT_DEF, INT, AM_ROUT_DEF);
  1121. FLISTAM_ROUT_DEF FLISTAM_ROUT_DEF_4097(FLISTAM_ROUT_DEF, AM_ROUT_DEF);
  1122. BOOL INLINE_TBL_query_4107(INLINE_TBL, SIG, INLINE);
  1123. INLINE INLINE_TBL_get_q(INLINE_TBL, SIG);
  1124. BOOL BE_inlined_SIG_BOOL(BE, SIG);
  1125. SIG FMAPSIGAM_ROUT_D_4119(FMAPSIGAM_ROUT_DEF);
  1126. TUPSIGAM_ROUT_DEF TUPSIGAM_ROUT_DE(TUPSIGAM_ROUT_DEF, SIG);
  1127. TUPSIGAM_ROUT_DEF TUPSIGAM_ROUT_DE_4122(TUPSIGAM_ROUT_DEF, AM_ROUT_DEF);
  1128. TUPSIGAM_ROUT_DEF TUPSIGAM_ROUT_DE_4124(TUPSIGAM_ROUT_DEF, SIG, AM_ROUT_DEF);
  1129. FMAPSIGAM_ROUT_DEF FMAPSIGAM_ROUT_D_4126(FMAPSIGAM_ROUT_DEF, INT);
  1130. INT FMAPSIGAM_ROUT_D_4134(FMAPSIGAM_ROUT_DEF);
  1131. FMAPSIGAM_ROUT_DEF FMAPSIGAM_ROUT_D_4136(FMAPSIGAM_ROUT_DEF, TUPSIGAM_ROUT_DEF);
  1132. FMAPSIGAM_ROUT_DEF FMAPSIGAM_ROUT_D_4139(FMAPSIGAM_ROUT_DEF);
  1133. INT FMAPSIGAM_ROUT_D_4146(FMAPSIGAM_ROUT_DEF, SIG);
  1134. TUPSIGAM_ROUT_DEF FMAPSIGAM_ROUT_D_4148(FMAPSIGAM_ROUT_DEF, INT);
  1135. BOOL FMAPSIGAM_ROUT_D_4151(FMAPSIGAM_ROUT_DEF, SIG, SIG);
  1136. void FMAPSIGAM_ROUT_D_4153(FMAPSIGAM_ROUT_DEF, INT, TUPSIGAM_ROUT_DEF);
  1137. FMAPSIGAM_ROUT_DEF FMAPSIGAM_ROUT_D_4138(FMAPSIGAM_ROUT_DEF, SIG, AM_ROUT_DEF);
  1138. FSETOB FSETOB_create_FSETOB(FSETOB);
  1139. void BE_start_mangling(BE);
  1140. BOOL OPTIONS_pre_chk_(OPTIONS, STR);
  1141. BOOL OPTIONS_post_chk(OPTIONS, STR);
  1142. BOOL OPTIONS_invarian(OPTIONS, STR);
  1143. BOOL OPTIONS_assert_c(OPTIONS, STR);
  1144. BOOL OPTIONS_arith_ch(OPTIONS, STR);
  1145. BOOL OPTIONS_bounds_c(OPTIONS, STR);
  1146. BOOL OPTIONS_void_chk(OPTIONS, STR);
  1147. BOOL OPTIONS_when_chk(OPTIONS, STR);
  1148. BOOL OPTIONS_return_c(OPTIONS, STR);
  1149. BOOL OPTIONS_destroy_(OPTIONS, STR);
  1150. void BE_set_chks(BE);
  1151. BOOL SIG_is_iter_BOOL(SIG);
  1152. FLISTAM_ITER_CAL FLISTAM_ITER_CAL_4187(FLISTAM_ITER_CAL, INT);
  1153. void BE_setup_routine(BE, AM_ROUT_DEF);
  1154. STR BE_eol_STR(BE);
  1155. void BE_newline(BE);
  1156. BOOL AM_ROUT_DEF_is_i(AM_ROUT_DEF);
  1157. void BE_remangle_OB_STR(BE, OB, STR);
  1158. void BE_in(BE);
  1159. STR BE_default_init_(BE, TP);
  1160. void BE_defer_newline(BE);
  1161. void BE_ndefer_STR(BE, STR);
  1162. void BE_out(BE);
  1163. void BE_emit_prologue(BE, AM_ROUT_DEF);
  1164. INT SIG_num_args_INT(SIG);
  1165. BOOL BE_is_asize_SIG_BOOL(BE, SIG);
  1166. void BE_runtime_error(BE, STR, PROG_ERR);
  1167. FSTR FSTR_plus_INT_FSTR(FSTR, INT);
  1168. void BE_announce_at_S(BE, SFILE_ID);
  1169. void ARRAYSTR_aset_IN_4289(ARRAYSTR, INT, STR);
  1170. STR BE_genlocal_STR(BE);
  1171. STR BE_dec_local_TP_STR(BE, TP);
  1172. ARRAYSTR BE_emit_args_AM_(BE, AM_CALL_EXPR);
  1173. INT AM_ROUT_CALL_EXP_4314(AM_ROUT_CALL_EXPR);
  1174. AM_EXPR AM_ROUT_CALL_EXP_4316(AM_ROUT_CALL_EXPR, INT);
  1175. STR BE_dec_local_com(BE, TP, STR);
  1176. STR BE_sizeof_boxed_(BE, TP);
  1177. INT FMAPTPINT_key_ha(FMAPTPINT, TP);
  1178. INT FMAPTPINT_asize_INT(FMAPTPINT);
  1179. TUPTPINT FMAPTPINT_aget_I(FMAPTPINT, INT);
  1180. BOOL FMAPTPINT_key_eq(FMAPTPINT, TP, TP);
  1181. TP FMAPTPINT_key_nil_TP(FMAPTPINT);
  1182. BOOL FMAPTPINT_test_T(FMAPTPINT, TP);
  1183. TUPTPINT TUPTPINT_t1_TP_T(TUPTPINT, TP);
  1184. TUPTPINT TUPTPINT_t2_INT_(TUPTPINT, INT);
  1185. TUPTPINT TUPTPINT_create_(TUPTPINT, TP, INT);
  1186. FMAPTPINT FMAPTPINT_alloca(FMAPTPINT, INT);
  1187. FMAPTPINT FMAPTPINT_insert(FMAPTPINT, TUPTPINT);
  1188. FMAPTPINT FMAPTPINT_double(FMAPTPINT);
  1189. void FMAPTPINT_aset_I(FMAPTPINT, INT, TUPTPINT);
  1190. FMAPTPINT FMAPTPINT_insert_4346(FMAPTPINT, TP, INT);
  1191. INT FMAPTPINT_get_TP_INT(FMAPTPINT, TP);
  1192. INT BE_num_tag_for_T(BE, TP);
  1193. STR BE_tag_for_TP_STR(BE, TP);
  1194. STR BE_sizeof_TP_STR(BE, TP);
  1195. STR BE_allocate_TP_STR(BE, TP);
  1196. STR BE_cast_TP_TP_ST(BE, TP, TP, STR);
  1197. ARRAYSTR BE_emit_and_cast(BE, AM_ROUT_CALL_EXPR);
  1198. TUPSTRSTR FMAPSTRTUPSTRSTR_4411(FMAPSTRTUPSTRSTR, STR);
  1199. void BE_runtime_error_STR(BE, STR);
  1200. STR BE_emit_call_SIG(BE, SIG, ARRAYSTR);
  1201. STR BE_emit_rout_cal(BE, AM_ROUT_CALL_EXPR);
  1202. BOOL FMAPSTRITER_INLI_4448(FMAPSTRITER_INLINE, STR);
  1203. BOOL BE_is_built_in_i(BE, SIG);
  1204. ITER_INLINE FMAPSTRITER_INLI_4456(FMAPSTRITER_INLINE, STR);
  1205. BOOL ARRAYBOOL_aget_I(ARRAYBOOL, INT);
  1206. INT AM_ITER_CALL_EXP_4464(AM_ITER_CALL_EXPR);
  1207. INT AM_ITER_CALL_EXP_4466(AM_ITER_CALL_EXPR);
  1208. AM_EXPR AM_ITER_CALL_EXP_4468(AM_ITER_CALL_EXPR, INT);
  1209. STR BE_iter_inline_x(BE, STR, STR, STR, STR);
  1210. void BE_comment_STR(BE, STR);
  1211. STR BE_emit_builtin_(BE, AM_ITER_CALL_EXPR);
  1212. TP AM_ITER_CALL_EXP_4496(AM_ITER_CALL_EXPR);
  1213. STR BE_emit_iter_cal(BE, AM_ITER_CALL_EXPR);
  1214. STR BE_Cify_CHAR_STR(BE, CHAR);
  1215. STR BE_Cify_STR_STR(BE, STR);
  1216. STR BE_emit_str_cons(BE, AM_STR_CONST);
  1217. TUPBOOLINTIINTBOOL TUPBOOLINTIINTBO(TUPBOOLINTIINTBOOL, BOOL);
  1218. TUPBOOLINTIINTBOOL TUPBOOLINTIINTBO_4555(TUPBOOLINTIINTBOOL, INTI);
  1219. TUPBOOLINTIINTBOOL TUPBOOLINTIINTBO_4557(TUPBOOLINTIINTBOOL, INT);
  1220. TUPBOOLINTIINTBOOL TUPBOOLINTIINTBO_4559(TUPBOOLINTIINTBOOL, BOOL);
  1221. TUPBOOLINTIINTBOOL TUPBOOLINTIINTBO_4561(TUPBOOLINTIINTBOOL, BOOL, INTI, INT, BOOL);
  1222. INT INTI_log2_INT(INTI);
  1223. extern FLTD log10(FLTD);
  1224. FLTD FLTD_log10_FLTD(FLTD);
  1225. FLTD FLTD_log2_FLTD(FLTD);
  1226. FLT FLT_log2_FLT(FLT);
  1227. extern FLTD rint(FLTD);
  1228. FLTD FLTD_round_FLTD(FLTD);
  1229. FLT FLT_round_FLT(FLT);
  1230. extern INT c_fltd_int(FLTD);
  1231. INT FLTD_int_INT(FLTD);
  1232. INT FLT_int_INT(FLT);
  1233. BOOL INTI_is_lt_INTI_BOOL(INTI, INTI);
  1234. BOOL INTI_is_geq_INTI(INTI, INTI);
  1235. BOOL INTI_is_gt_INTI_BOOL(INTI, INTI);
  1236. BOOL INT_is_even_BOOL(INT);
  1237. BOOL INTI_is_odd_BOOL(INTI);
  1238. TUPBOOLINTIINTBOOL RAT_float_INT_IN(RAT, INT, INT);
  1239. STR RAT_str_INT_STR(RAT, INT);
  1240. STR BE_array_allocat(BE, TP, STR);
  1241. TP AM_VATTR_ASSIGN_(AM_VATTR_ASSIGN_EXPR);
  1242. TP AM_VARR_ASSIGN_E(AM_VARR_ASSIGN_EXPR);
  1243. TP AM_EXT_CALL_EXPR_4606(AM_EXT_CALL_EXPR);
  1244. INT AM_EXT_CALL_EXPR_4608(AM_EXT_CALL_EXPR);
  1245. AM_EXPR AM_EXT_CALL_EXPR_4610(AM_EXT_CALL_EXPR, INT);
  1246. INT AM_ARRAY_EXPR_as(AM_ARRAY_EXPR);
  1247. AM_EXPR AM_ARRAY_EXPR_ag(AM_ARRAY_EXPR, INT);
  1248. STR BE_value_void_TP(BE, TP, STR);
  1249. INT FLISTAM_BND_CREA_4649(FLISTAM_BND_CREA);
  1250. INT FLISTAM_BND_CREA_4651(FLISTAM_BND_CREA);
  1251. BOOL FLISTAM_BND_CREA_4653(FLISTAM_BND_CREA);
  1252. void FLISTAM_BND_CREA_4655(FLISTAM_BND_CREA);
  1253. void FLISTAM_BND_CREA_4660(FLISTAM_BND_CREA);
  1254. void FLISTAM_BND_CREA_4661(FLISTAM_BND_CREA, INT, AM_BND_CREATE_EXPR);
  1255. void FLISTAM_BND_CREA_4664(FLISTAM_BND_CREA, INT, AM_BND_CREATE_EXPR);
  1256. FLISTAM_BND_CREA FLISTAM_BND_CREA_4667(FLISTAM_BND_CREA, AM_BND_CREATE_EXPR);
  1257. INT AM_BND_ROUT_CALL_4677(AM_BND_ROUT_CALL);
  1258. AM_EXPR AM_BND_ROUT_CALL_4679(AM_BND_ROUT_CALL, INT);
  1259. STR BE_emit_expr_AM_(BE, AM_EXPR);
  1260. STR BE_genother_STR(BE);
  1261. BOOL FLISTAM_ITER_CAL_4806(FLISTAM_ITER_CAL, AM_ITER_CALL_EXPR, AM_ITER_CALL_EXPR);
  1262. BOOL FLISTAM_ITER_CAL_4810(FLISTAM_ITER_CAL, AM_ITER_CALL_EXPR);
  1263. INT FLISTAM_ITER_CAL_4817(FLISTAM_ITER_CAL);
  1264. INT FLISTAM_ITER_CAL_4819(FLISTAM_ITER_CAL);
  1265. BOOL FLISTAM_ITER_CAL_4821(FLISTAM_ITER_CAL);
  1266. void FLISTAM_ITER_CAL_4823(FLISTAM_ITER_CAL);
  1267. void FLISTAM_ITER_CAL_4828(FLISTAM_ITER_CAL);
  1268. void FLISTAM_ITER_CAL_4829(FLISTAM_ITER_CAL, INT, AM_ITER_CALL_EXPR);
  1269. void FLISTAM_ITER_CAL_4832(FLISTAM_ITER_CAL, INT, AM_ITER_CALL_EXPR);
  1270. FLISTAM_ITER_CAL FLISTAM_ITER_CAL_4835(FLISTAM_ITER_CAL, AM_ITER_CALL_EXPR);
  1271. void BE_defer_STR(BE, STR);
  1272. ARRAYARRAYSTR ARRAYARRAYSTR_cr(ARRAYARRAYSTR, INT);
  1273. INT ARRAYARRAYSTR_as(ARRAYARRAYSTR);
  1274. void ARRAYARRAYSTR_as_4848(ARRAYARRAYSTR, INT, ARRAYSTR);
  1275. ARRAYSTR ARRAYARRAYSTR_ag(ARRAYARRAYSTR, INT);
  1276. void BE_emit_typeswit(BE, STR, FLISTTP, FLISTAM_STMT);
  1277. void BE_emit_code_AM_STMT(BE, AM_STMT);
  1278.  
  1279. void FILE_plus_FSTR(FILE_20, FSTR);
  1280. FMAPOBSTR FMAPOBSTR_halve_(FMAPOBSTR);
  1281. FMAPOBSTR FMAPOBSTR_delete(FMAPOBSTR, OB);
  1282. FSETSTR FSETSTR_halve_si(FSETSTR);
  1283. FSETSTR FSETSTR_delete_S(FSETSTR, STR);
  1284. void BE_unmangle_OB(BE, OB);
  1285. void BE_emit_epilogue(BE, AM_ROUT_DEF);
  1286. void BE_emit_typedef_(BE, AM_ROUT_DEF);
  1287. void BE_emit_header_A(BE, AM_ROUT_DEF);
  1288. void BE_emit_routine_(BE, AM_ROUT_DEF);
  1289. void BE_end_mangling(BE);
  1290. void BE_output_am_rou(BE, AM_ROUT_DEF);
  1291. void PROG_output_am_r(PROG, AM_ROUT_DEF);
  1292. void PROG_AM_GENERATE_5071(PROG_AM_GENERATE, SIG);
  1293. ELT ELT_TBL_elt_with(ELT_TBL, SIG);
  1294. PROG ELT_prog_PROG(ELT);
  1295. TP ELT_tp_TP(ELT);
  1296. IMPL ELT_impl_IMPL(ELT);
  1297. TRANS TRANS_create_ELT(TRANS, ELT);
  1298. AM_LOCAL_EXPR AM_LOCAL_EXPR_cr(AM_LOCAL_EXPR, SFILE_ID, IDENT, TP);
  1299. void AM_ROUT_DEF_aset(AM_ROUT_DEF, INT, AM_LOCAL_EXPR);
  1300. INT FMAPTPFMAPIDENTA_5102(FMAPTPFMAPIDENTA, TP);
  1301. INT FMAPTPFMAPIDENTA_5105(FMAPTPFMAPIDENTA);
  1302. TUPTPFMAPIDENTAM FMAPTPFMAPIDENTA_5107(FMAPTPFMAPIDENTA, INT);
  1303. BOOL FMAPTPFMAPIDENTA_5110(FMAPTPFMAPIDENTA, TP, TP);
  1304. TP FMAPTPFMAPIDENTA_5112(FMAPTPFMAPIDENTA);
  1305. FMAPIDENTAM_GLOB FMAPTPFMAPIDENTA_5114(FMAPTPFMAPIDENTA, TP);
  1306. INT FMAPIDENTAM_GLOB_5120(FMAPIDENTAM_GLOB, IDENT);
  1307. INT FMAPIDENTAM_GLOB_5123(FMAPIDENTAM_GLOB);
  1308. TUPIDENTAM_GLOBA FMAPIDENTAM_GLOB_5125(FMAPIDENTAM_GLOB, INT);
  1309. BOOL FMAPIDENTAM_GLOB_5128(FMAPIDENTAM_GLOB, IDENT, IDENT);
  1310. IDENT FMAPIDENTAM_GLOB_5130(FMAPIDENTAM_GLOB);
  1311. AM_GLOBAL_EXPR FMAPIDENTAM_GLOB_5132(FMAPIDENTAM_GLOB, IDENT);
  1312. AM_GLOBAL_EXPR GLOBAL_TBL_get_I(GLOBAL_TBL, IDENT, TP);
  1313. AM_GLOBAL_EXPR AM_GLOBAL_EXPR_c(AM_GLOBAL_EXPR, SFILE_ID);
  1314. TP ELT_ret_TP(ELT);
  1315. void TRANS_self_const(TRANS, TR_SELF_EXPR);
  1316. AM_LOCAL_EXPR AM_ROUT_DEF_self(AM_ROUT_DEF);
  1317. void TRANS_self_conte(TRANS, TR_SELF_EXPR, TP, TP);
  1318. AM_EXPR TRANS_transform_(TRANS, TR_SELF_EXPR, TP);
  1319. AM_LOCAL_EXPR TRANS_local_with(TRANS, IDENT);
  1320. void TRANS_call_local(TRANS, TR_CALL_EXPR, TP, TP);
  1321. AM_LOCAL_EXPR TRANS_call_expr_(TRANS, TR_CALL_EXPR, TP);
  1322. void TRANS_call_self_(TRANS, TR_CALL_EXPR);
  1323. void TRANS_call_self__5175(TRANS, TR_CALL_EXPR);
  1324. TUPAM_EXPRTP TUPAM_EXPRTP_t1_(TUPAM_EXPRTP, AM_EXPR);
  1325. TUPAM_EXPRTP TUPAM_EXPRTP_t2_(TUPAM_EXPRTP, TP);
  1326. TUPAM_EXPRTP TUPAM_EXPRTP_cre(TUPAM_EXPRTP, AM_EXPR, TP);
  1327. void TRANS_call_self__5181(TRANS, TR_CALL_EXPR);
  1328. void TRANS_call_self__5184(TRANS, TR_CALL_EXPR);
  1329. AM_VOID_CONST AM_VOID_CONST_cr(AM_VOID_CONST, SFILE_ID);
  1330. TP TRANS_tp_of_TR_T(TRANS, TR_TYPE_SPEC);
  1331. TUPAM_EXPRTP TRANS_call_self__5191(TRANS, TR_CALL_EXPR);
  1332. CALL_SIG CALL_SIG_create_(CALL_SIG);
  1333. IDENT TRANS_call_expr__5201(TRANS, TR_CALL_EXPR);
  1334. INT TR_CALL_EXPR_arg(TR_CALL_EXPR);
  1335. ARRAYAM_EXPR ARRAYAM_EXPR_cre(ARRAYAM_EXPR, INT);
  1336. ARRAYCALL_TP ARRAYCALL_TP_cre(ARRAYCALL_TP, INT);
  1337. INT ARRAYAM_EXPR_asi(ARRAYAM_EXPR);
  1338. INT ARRAYAM_EXPR_siz(ARRAYAM_EXPR);
  1339. INT ARRAYCALL_TP_asi(ARRAYCALL_TP);
  1340. INT ARRAYCALL_TP_siz(ARRAYCALL_TP);
  1341. void CALL_TP_VOID_cac(CALL_TP_VOID, CALL_TP_VOID);
  1342. CALL_TP_VOID CALL_TP_VOID_cre(CALL_TP_VOID);
  1343. void CALL_TP_CREATE_c(CALL_TP_CREATE, CALL_TP_CREATE);
  1344. CALL_TP_CREATE CALL_TP_CREATE_c_5216(CALL_TP_CREATE);
  1345. void CALL_TP_ARRAY_ca(CALL_TP_ARRAY, CALL_TP_ARRAY);
  1346. CALL_TP_ARRAY CALL_TP_ARRAY_cr(CALL_TP_ARRAY);
  1347. CALL_TP_UNDERSCORE CALL_TP_UNDERSCO(CALL_TP_UNDERSCORE);
  1348. CALL_TP TRANS_call_tp_of(TRANS, TR_EXPR);
  1349. void ARRAYCALL_TP_ase(ARRAYCALL_TP, INT, CALL_TP);
  1350. void ARRAYAM_EXPR_ase(ARRAYAM_EXPR, INT, AM_EXPR);
  1351. PROG CALL_SIG_prog_PROG(CALL_SIG);
  1352. BOOL CALL_SIG_conform(CALL_SIG, SIG);
  1353. STR CALL_SIG_str_STR(CALL_SIG);
  1354. SIG IMPL_sig_for_int(IMPL, CALL_SIG);
  1355. SIG IFC_sig_for_call(IFC, CALL_SIG);
  1356. SIG CALL_SIG_lookup_(CALL_SIG, BOOL);
  1357. AM_EXPR ARRAYAM_EXPR_age(ARRAYAM_EXPR, INT);
  1358. SIG TRANS_call_expr__5305(TRANS, TR_CALL_EXPR, CALL_SIG, ARRAYAM_EXPR, BOOL);
  1359. void TRANS_ext_call_c(TRANS, TR_CALL_EXPR);
  1360. ELT IMPL_elt_with_si(IMPL, SIG);
  1361. IDENT TRANS_name_for_e(TRANS, ELT);
  1362. AM_EXT_CALL_EXPR AM_EXT_CALL_EXPR_5322(AM_EXT_CALL_EXPR, INT, SFILE_ID);
  1363. AM_EXT_CALL_EXPR AM_EXT_CALL_EXPR_5326(AM_EXT_CALL_EXPR, INT, SFILE_ID, IDENT);
  1364. void AM_EXT_CALL_EXPR_5331(AM_EXT_CALL_EXPR, INT, AM_EXPR);
  1365. AM_ITER_CALL_EXPR AM_ITER_CALL_EXP_5334(AM_ITER_CALL_EXPR, INT, SFILE_ID);
  1366. void AM_ITER_CALL_EXP_5338(AM_ITER_CALL_EXPR, INT, AM_EXPR);
  1367. void TRANS_iter_call_(TRANS);
  1368. void TRANS_iter_call__5341(TRANS);
  1369. BOOL TRANS_contains_i(TRANS, AM_EXPR);
  1370. void TRANS_iter_call__5364(TRANS, INT);
  1371. BOOL FLISTAM_LOCAL_EX_5365(FLISTAM_LOCAL_EXPR);
  1372. void FLISTAM_LOCAL_EX_5367(FLISTAM_LOCAL_EXPR);
  1373. void FLISTAM_LOCAL_EX_5372(FLISTAM_LOCAL_EXPR);
  1374. void FLISTAM_LOCAL_EX_5373(FLISTAM_LOCAL_EXPR, INT, AM_LOCAL_EXPR);
  1375. void FLISTAM_LOCAL_EX_5376(FLISTAM_LOCAL_EXPR, INT, AM_LOCAL_EXPR);
  1376. FLISTAM_LOCAL_EXPR FLISTAM_LOCAL_EX_5379(FLISTAM_LOCAL_EXPR, AM_LOCAL_EXPR);
  1377. void TRANS_add_local_(TRANS, AM_LOCAL_EXPR);
  1378. AM_ASSIGN_STMT AM_ASSIGN_STMT_c(AM_ASSIGN_STMT, SFILE_ID);
  1379. extern void c_out_str(CHAR []);
  1380. OUT OUT_plus_INT_OUT(OUT, INT);
  1381. AM_ITER_CALL_EXPR TRANS_call_fix_i(TRANS, AM_ITER_CALL_EXPR);
  1382. AM_ROUT_CALL_EXPR AM_ROUT_CALL_EXP_5400(AM_ROUT_CALL_EXPR, INT, SFILE_ID);
  1383. void AM_ROUT_CALL_EXP_5404(AM_ROUT_CALL_EXPR, INT, AM_EXPR);
  1384. void TRANS_bnd_rout_c(TRANS);
  1385. AM_BND_ROUT_CALL AM_BND_ROUT_CALL_5407(AM_BND_ROUT_CALL, INT, SFILE_ID);
  1386. void AM_BND_ROUT_CALL_5411(AM_BND_ROUT_CALL, INT, AM_EXPR);
  1387. AM_BND_ITER_CALL AM_BND_ITER_CALL_5414(AM_BND_ITER_CALL, INT, SFILE_ID);
  1388. INT AM_BND_ITER_CALL_5418(AM_BND_ITER_CALL);
  1389. void AM_BND_ITER_CALL_5420(AM_BND_ITER_CALL, INT, AM_EXPR);
  1390. void TRANS_bnd_iter_c(TRANS);
  1391. void TRANS_bnd_iter_c_5423(TRANS);
  1392. INT AM_BND_ITER_CALL_5424(AM_BND_ITER_CALL);
  1393. AM_EXPR AM_BND_ITER_CALL_5426(AM_BND_ITER_CALL, INT);
  1394. void TRANS_bnd_iter_c_5429(TRANS, INT);
  1395. INT FLISTAM_BND_ITER_5430(FLISTAM_BND_ITER);
  1396. INT FLISTAM_BND_ITER_5432(FLISTAM_BND_ITER);
  1397. BOOL FLISTAM_BND_ITER_5435(FLISTAM_BND_ITER);
  1398. void FLISTAM_BND_ITER_5437(FLISTAM_BND_ITER);
  1399. void FLISTAM_BND_ITER_5442(FLISTAM_BND_ITER);
  1400. void FLISTAM_BND_ITER_5443(FLISTAM_BND_ITER, INT, AM_BND_ITER_CALL);
  1401. void FLISTAM_BND_ITER_5446(FLISTAM_BND_ITER, INT, AM_BND_ITER_CALL);
  1402. FLISTAM_BND_ITER FLISTAM_BND_ITER_5449(FLISTAM_BND_ITER, AM_BND_ITER_CALL);
  1403. AM_BND_ITER_CALL TRANS_call_fix_b(TRANS, AM_BND_ITER_CALL, SIG);
  1404. void TRANS_call_conte(TRANS, TR_CALL_EXPR, TP, TP);
  1405. AM_EXPR TRANS_inline_AM_(TRANS, AM_ROUT_CALL_EXPR);
  1406. INT FLISTAM_EXPR_asi(FLISTAM_EXPR);
  1407. INT FLISTAM_EXPR_siz(FLISTAM_EXPR);
  1408. BOOL FLISTAM_EXPR_is_(FLISTAM_EXPR);
  1409. void FLISTAM_EXPR_aclear(FLISTAM_EXPR);
  1410. void FLISTAM_EXPR_clear(FLISTAM_EXPR);
  1411. void FLISTAM_EXPR_are(FLISTAM_EXPR, INT, AM_EXPR);
  1412. void FLISTAM_EXPR_ase_5481(FLISTAM_EXPR, INT, AM_EXPR);
  1413. FLISTAM_EXPR FLISTAM_EXPR_pus(FLISTAM_EXPR, AM_EXPR);
  1414. AM_EXPR TRANS_transform__5492(TRANS, TR_CALL_EXPR, TP, BOOL);
  1415. AM_EXPR TRANS_transform__5516(TRANS, TR_VOID_EXPR, TP);
  1416. BOOL FSETTP_CLASS_tes(FSETTP_CLASS, TP_CLASS);
  1417. BOOL TP_GRAPH_abs_sub(TP_GRAPH, TP, TP_CLASS);
  1418. BOOL PROG_abs_subtype(PROG, TP, TP_CLASS);
  1419. BOOL TP_CLASS_is_subt(TP_CLASS, TP);
  1420. AM_IS_VOID_EXPR AM_IS_VOID_EXPR_(AM_IS_VOID_EXPR, SFILE_ID);
  1421. AM_EXPR TRANS_transform__5538(TRANS, TR_IS_VOID_EXPR, TP);
  1422. void TRANS_array_tp_v(TRANS, TR_ARRAY_EXPR);
  1423. void TRANS_array_wron(TRANS, TR_ARRAY_EXPR, TP);
  1424. INT TR_ARRAY_EXPR_el(TR_ARRAY_EXPR);
  1425. AM_ARRAY_EXPR AM_ARRAY_EXPR_cr(AM_ARRAY_EXPR, INT, SFILE_ID);
  1426. void AM_ARRAY_EXPR_as_5551(AM_ARRAY_EXPR, INT, AM_EXPR);
  1427. AM_EXPR TRANS_transform__5554(TRANS, TR_ARRAY_EXPR, TP);
  1428. void TRANS_create_con(TRANS, TR_CREATE_EXPR);
  1429. void TRANS_create_con_5561(TRANS, TR_CREATE_EXPR, TP, TP);
  1430. void TRANS_create_tp_(TRANS, TR_CREATE_EXPR);
  1431. INT TR_CREATE_EXPR_e(TR_CREATE_EXPR);
  1432. CALL_TP ARRAYCALL_TP_age(ARRAYCALL_TP, INT);
  1433. void TRANS_create_bad(TRANS, TR_CREATE_EXPR, TP, TP);
  1434. AM_EXPR TRANS_transform__5573(TRANS, TR_CREATE_EXPR, TP);
  1435. void TRANS_bound_crea(TRANS, TR_BOUND_CREATE_EXPR);
  1436. void TRANS_bound_crea_5584(TRANS, TR_BOUND_CREATE_EXPR);
  1437. void TRANS_bound_crea_5586(TRANS, TR_BOUND_CREATE_EXPR);
  1438. void TRANS_bound_crea_5589(TRANS, TR_BOUND_CREATE_EXPR);
  1439. void TRANS_bound_crea_5592(TRANS, TR_BOUND_CREATE_EXPR);
  1440. TUPAM_EXPRTP TRANS_bound_crea_5595(TRANS, TR_BOUND_CREATE_EXPR);
  1441. INT TRANS_bound_crea_5599(TRANS, AM_EXPR, TR_BOUND_CREATE_EXPR);
  1442. AM_BND_CREATE_EXPR AM_BND_CREATE_EX_5605(AM_BND_CREATE_EXPR, INT);
  1443. SIG TRANS_bound_crea_5608(TRANS, TR_BOUND_CREATE_EXPR, TP);
  1444. void TRANS_bound_crea_5615(TRANS, TR_BOUND_CREATE_EXPR);
  1445. void TRANS_bound_crea_5617(TRANS, TR_BOUND_CREATE_EXPR);
  1446. ARRAYINT ARRAYINT_create_(ARRAYINT, INT);
  1447. void ARRAYINT_aset_IN(ARRAYINT, INT, INT);
  1448. ARRAYINT TRANS_bound_crea_5623(TRANS, INT, TR_BOUND_CREATE_EXPR);
  1449. ARRAYINT TRANS_bound_crea_5629(TRANS, INT, TR_BOUND_CREATE_EXPR);
  1450. void AM_BND_CREATE_EX_5635(AM_BND_CREATE_EXPR, INT, AM_EXPR);
  1451. void TRANS_bound_crea_5638(TRANS, TR_BOUND_CREATE_EXPR);
  1452. void TRANS_bound_crea_5641(TRANS, TR_EXPR);
  1453. INT ARRAYINT_size_INT(ARRAYINT);
  1454. void TRANS_bound_crea_5644(TRANS, AM_BND_CREATE_EXPR);
  1455. void TRANS_bound_crea_5664(TRANS, TR_BOUND_CREATE_EXPR, TP, TP);
  1456. AM_EXPR TRANS_transform__5669(TRANS, TR_BOUND_CREATE_EXPR, TP);
  1457. void TRANS_and_contex(TRANS, TR_AND_EXPR, TP);
  1458. AM_IF_EXPR AM_IF_EXPR_creat(AM_IF_EXPR, SFILE_ID);
  1459. AM_BOOL_CONST AM_BOOL_CONST_cr(AM_BOOL_CONST, SFILE_ID);
  1460. AM_EXPR TRANS_transform__5692(TRANS, TR_AND_EXPR, TP);
  1461. void TRANS_or_context(TRANS, TR_OR_EXPR, TP);
  1462. AM_EXPR TRANS_transform__5703(TRANS, TR_OR_EXPR, TP);
  1463. void TRANS_except_con(TRANS, TR_EXCEPT_EXPR);
  1464. void TRANS_except_loc(TRANS, TR_EXCEPT_EXPR);
  1465. AM_EXCEPT_EXPR AM_EXCEPT_EXPR_c(AM_EXCEPT_EXPR, TP);
  1466. void TRANS_except_con_5716(TRANS, TR_EXCEPT_EXPR, TP, TP);
  1467. AM_EXPR TRANS_transform__5721(TRANS, TR_EXCEPT_EXPR, TP);
  1468. void TRANS_new_const_(TRANS, TR_NEW_EXPR);
  1469. void TRANS_new_in_non(TRANS, TR_NEW_EXPR);
  1470. void TRANS_new_contex(TRANS, TR_NEW_EXPR, TP, TP);
  1471. void TRANS_new_arg_no(TRANS, TR_NEW_EXPR);
  1472. AM_NEW_EXPR AM_NEW_EXPR_crea(AM_NEW_EXPR, SFILE_ID);
  1473. void TRANS_new_no_arg(TRANS, TR_NEW_EXPR);
  1474. AM_EXPR TRANS_transform__5738(TRANS, TR_NEW_EXPR, TP);
  1475. void TRANS_initial_ou(TRANS, TR_INITIAL_EXPR);
  1476. void TRANS_nested_ini(TRANS, TR_INITIAL_EXPR);
  1477. AM_INITIAL_STMT AM_INITIAL_STMT_(AM_INITIAL_STMT, SFILE_ID);
  1478. AM_EXPR TRANS_transform__5750(TRANS, TR_INITIAL_EXPR, TP);
  1479. AM_EXPR TRANS_transform__5756(TRANS, TR_BREAK_EXPR, TP);
  1480. void TRANS_result_out(TRANS, TR_RESULT_EXPR);
  1481. void TRANS_result_in_(TRANS, TR_RESULT_EXPR);
  1482. void TRANS_result_and(TRANS, TR_RESULT_EXPR);
  1483. void TRANS_result_con(TRANS, TR_RESULT_EXPR, TP, TP);
  1484. AM_EXPR TRANS_transform__5769(TRANS, TR_RESULT_EXPR, TP);
  1485. void TRANS_bool_lit_c(TRANS, TR_BOOL_LIT_EXPR, TP);
  1486. AM_EXPR TRANS_transform__5776(TRANS, TR_BOOL_LIT_EXPR, TP);
  1487. void TRANS_char_lit_c(TRANS, TR_CHAR_LIT_EXPR, TP);
  1488. AM_CHAR_CONST AM_CHAR_CONST_cr(AM_CHAR_CONST, TR_CHAR_LIT_EXPR);
  1489. AM_EXPR TRANS_transform__5787(TRANS, TR_CHAR_LIT_EXPR, TP);
  1490. void TRANS_str_lit_co(TRANS, TR_STR_LIT_EXPR, TP);
  1491. AM_STR_CONST AM_STR_CONST_cre(AM_STR_CONST, TR_STR_LIT_EXPR);
  1492. AM_EXPR TRANS_transform__5798(TRANS, TR_STR_LIT_EXPR, TP);
  1493. AM_INTI_CONST AM_INTI_CONST_cr(AM_INTI_CONST, TR_INT_LIT_EXPR);
  1494. AM_INT_CONST AM_INT_CONST_cre(AM_INT_CONST, TR_INT_LIT_EXPR);
  1495. AM_EXPR TRANS_transform__5809(TRANS, TR_INT_LIT_EXPR, TP);
  1496. AM_FLT_CONST AM_FLT_CONST_cre(AM_FLT_CONST, TR_FLT_LIT_EXPR);
  1497. AM_FLTD_CONST AM_FLTD_CONST_cr(AM_FLTD_CONST, TR_FLT_LIT_EXPR);
  1498. AM_FLTX_CONST AM_FLTX_CONST_cr(AM_FLTX_CONST, TR_FLT_LIT_EXPR);
  1499. AM_FLTDX_CONST AM_FLTDX_CONST_c(AM_FLTDX_CONST, TR_FLT_LIT_EXPR);
  1500. AM_FLTI_CONST AM_FLTI_CONST_cr(AM_FLTI_CONST, TR_FLT_LIT_EXPR);
  1501. AM_EXPR TRANS_transform__5830(TRANS, TR_FLT_LIT_EXPR, TP);
  1502. AM_EXPR TRANS_transform__5198(TRANS, TR_EXPR, TP);
  1503. TUPIDENTAM_GLOBA TUPIDENTAM_GLOBA_5847(TUPIDENTAM_GLOBA, IDENT);
  1504. TUPIDENTAM_GLOBA TUPIDENTAM_GLOBA_5849(TUPIDENTAM_GLOBA, AM_GLOBAL_EXPR);
  1505. TUPIDENTAM_GLOBA TUPIDENTAM_GLOBA_5851(TUPIDENTAM_GLOBA, IDENT, AM_GLOBAL_EXPR);
  1506. FMAPIDENTAM_GLOB FMAPIDENTAM_GLOB_5853(FMAPIDENTAM_GLOB, INT);
  1507. FMAPIDENTAM_GLOB FMAPIDENTAM_GLOB_5861(FMAPIDENTAM_GLOB, TUPIDENTAM_GLOBA);
  1508. FMAPIDENTAM_GLOB FMAPIDENTAM_GLOB_5864(FMAPIDENTAM_GLOB);
  1509. void FMAPIDENTAM_GLOB_5871(FMAPIDENTAM_GLOB, INT, TUPIDENTAM_GLOBA);
  1510. FMAPIDENTAM_GLOB FMAPIDENTAM_GLOB_5863(FMAPIDENTAM_GLOB, IDENT, AM_GLOBAL_EXPR);
  1511. TUPTPFMAPIDENTAM TUPTPFMAPIDENTAM_5882(TUPTPFMAPIDENTAM, TP);
  1512. TUPTPFMAPIDENTAM TUPTPFMAPIDENTAM_5884(TUPTPFMAPIDENTAM, FMAPIDENTAM_GLOB);
  1513. TUPTPFMAPIDENTAM TUPTPFMAPIDENTAM_5886(TUPTPFMAPIDENTAM, TP, FMAPIDENTAM_GLOB);
  1514. FMAPTPFMAPIDENTA FMAPTPFMAPIDENTA_5888(FMAPTPFMAPIDENTA, INT);
  1515. FMAPTPFMAPIDENTA FMAPTPFMAPIDENTA_5896(FMAPTPFMAPIDENTA, TUPTPFMAPIDENTAM);
  1516. FMAPTPFMAPIDENTA FMAPTPFMAPIDENTA_5899(FMAPTPFMAPIDENTA);
  1517. void FMAPTPFMAPIDENTA_5906(FMAPTPFMAPIDENTA, INT, TUPTPFMAPIDENTAM);
  1518. FMAPTPFMAPIDENTA FMAPTPFMAPIDENTA_5898(FMAPTPFMAPIDENTA, TP, FMAPIDENTAM_GLOB);
  1519. INT FLISTAM_GLOBAL_E(FLISTAM_GLOBAL_EXPR);
  1520. INT FLISTAM_GLOBAL_E_5918(FLISTAM_GLOBAL_EXPR);
  1521. BOOL FLISTAM_GLOBAL_E_5921(FLISTAM_GLOBAL_EXPR);
  1522. void FLISTAM_GLOBAL_E_5923(FLISTAM_GLOBAL_EXPR);
  1523. void FLISTAM_GLOBAL_E_5928(FLISTAM_GLOBAL_EXPR);
  1524. void FLISTAM_GLOBAL_E_5929(FLISTAM_GLOBAL_EXPR, INT, AM_GLOBAL_EXPR);
  1525. void FLISTAM_GLOBAL_E_5932(FLISTAM_GLOBAL_EXPR, INT, AM_GLOBAL_EXPR);
  1526. FLISTAM_GLOBAL_EXPR FLISTAM_GLOBAL_E_5935(FLISTAM_GLOBAL_EXPR, AM_GLOBAL_EXPR);
  1527. void GLOBAL_TBL_inser(GLOBAL_TBL, AM_GLOBAL_EXPR);
  1528. AM_RETURN_STMT AM_RETURN_STMT_c(AM_RETURN_STMT, SFILE_ID);
  1529. AM_ROUT_DEF TRANS_transform__5949(TRANS, ELT, TR_CONST_DEF);
  1530. BOOL ELT_is_shared_re(ELT);
  1531. BOOL SIG_is_invariant(SIG);
  1532. BOOL ELT_is_invariant(ELT);
  1533. SIG IMPL_invariant_s(IMPL);
  1534. AM_INVARIANT_STMT AM_INVARIANT_STM(AM_INVARIANT_STMT, SFILE_ID);
  1535. AM_ROUT_DEF TRANS_transform__5967(TRANS, ELT, TR_SHARED_DEF);
  1536. AM_ATTR_EXPR AM_ATTR_EXPR_cre(AM_ATTR_EXPR, SFILE_ID);
  1537. AM_VATTR_ASSIGN_EXPR AM_VATTR_ASSIGN__5980(AM_VATTR_ASSIGN_EXPR, SFILE_ID);
  1538. AM_ROUT_DEF TRANS_transform__5984(TRANS, ELT, TR_ATTR_DEF);
  1539. BOOL BE_built_in_whic(BE, SIG);
  1540. void TRANS_return_err(TRANS);
  1541. void TRANS_check_stmt(TRANS, TR_STMT);
  1542. void TRANS_check_retu(TRANS, TR_ROUT_DEF);
  1543. AM_PRE_STMT AM_PRE_STMT_crea(AM_PRE_STMT, SFILE_ID);
  1544. AM_POST_STMT AM_POST_STMT_cre(AM_POST_STMT, SFILE_ID);
  1545. BOOL TRANS_is_array_s(TRANS, SIG);
  1546. AM_ARR_EXPR AM_ARR_EXPR_crea(AM_ARR_EXPR, SFILE_ID);
  1547. AM_VARR_ASSIGN_EXPR AM_VARR_ASSIGN_E_6022(AM_VARR_ASSIGN_EXPR, SFILE_ID);
  1548. AM_STMT TRANS_transform__6026(TRANS, ELT);
  1549. AM_STMT TRANS_transform__6035(TRANS, TR_DEC_STMT);
  1550. AM_STMT TRANS_transform__6039(TRANS, TR_ASSIGN_STMT);
  1551. AM_EXPR_STMT AM_EXPR_STMT_cre(AM_EXPR_STMT, SFILE_ID);
  1552. AM_STMT TRANS_transform__6053(TRANS, TR_CALL_EXPR, TR_ASSIGN_STMT);
  1553. AM_STMT TRANS_transform__6059(TRANS, AM_LOCAL_EXPR, TR_ASSIGN_STMT);
  1554. AM_STMT TRANS_transform__6064(TRANS, TR_CALL_EXPR, TR_ASSIGN_STMT);
  1555. AM_STMT TRANS_transform__6070(TRANS, TR_ASSIGN_STMT);
  1556. AM_IF_STMT AM_IF_STMT_creat(AM_IF_STMT, SFILE_ID);
  1557. AM_STMT TRANS_transform__6095(TRANS, TR_IF_STMT);
  1558. AM_LOOP_STMT AM_LOOP_STMT_cre(AM_LOOP_STMT, SFILE_ID);
  1559. AM_STMT TRANS_transform__6103(TRANS, TR_LOOP_STMT);
  1560. BOOL TRANS_is_iter_BOOL(TRANS);
  1561. void TRANS_return_in_(TRANS, TR_RETURN_STMT);
  1562. void TRANS_stmts_afte(TRANS, TR_RETURN_STMT);
  1563. void TRANS_missing_re(TRANS, TR_RETURN_STMT, TP);
  1564. void TRANS_extra_retu(TRANS, TR_RETURN_STMT, SIG);
  1565. AM_STMT TRANS_transform__6115(TRANS, TR_RETURN_STMT);
  1566. void TRANS_yield_in_r(TRANS, TR_YIELD_STMT);
  1567. void TRANS_missing_yi(TRANS, TR_YIELD_STMT, TP);
  1568. AM_YIELD_STMT AM_YIELD_STMT_cr(AM_YIELD_STMT, SFILE_ID);
  1569. void TRANS_extra_yiel(TRANS, TR_YIELD_STMT, SIG);
  1570. AM_STMT TRANS_transform__6129(TRANS, TR_YIELD_STMT);
  1571. void TRANS_quit_in_ro(TRANS, TR_QUIT_STMT);
  1572. void TRANS_stmts_afte_6134(TRANS, TR_QUIT_STMT);
  1573. AM_STMT TRANS_transform__6137(TRANS, TR_QUIT_STMT);
  1574. AM_CASE_STMT AM_CASE_STMT_cre(AM_CASE_STMT, SFILE_ID);
  1575. AM_CONST TRANS_const_to_s(TRANS, AM_EXPR);
  1576. BOOL FLISTAM_CONST_is(FLISTAM_CONST);
  1577. void FLISTAM_CONST_aclear(FLISTAM_CONST);
  1578. void FLISTAM_CONST_clear(FLISTAM_CONST);
  1579. void FLISTAM_CONST_ar_6150(FLISTAM_CONST, INT, AM_CONST);
  1580. void FLISTAM_CONST_as_6153(FLISTAM_CONST, INT, AM_CONST);
  1581. FLISTAM_CONST FLISTAM_CONST_pu(FLISTAM_CONST, AM_CONST);
  1582. BOOL FLISTFLISTAM_CON_6164(FLISTFLISTAM_CONST);
  1583. void FLISTFLISTAM_CON_6166(FLISTFLISTAM_CONST);
  1584. void FLISTFLISTAM_CON_6171(FLISTFLISTAM_CONST);
  1585. void FLISTFLISTAM_CON_6172(FLISTFLISTAM_CONST, INT, FLISTAM_CONST);
  1586. void FLISTFLISTAM_CON_6175(FLISTFLISTAM_CONST, INT, FLISTAM_CONST);
  1587. FLISTFLISTAM_CONST FLISTFLISTAM_CON_6178(FLISTFLISTAM_CONST, FLISTAM_CONST);
  1588. INT FLISTAM_STMT_siz(FLISTAM_STMT);
  1589. BOOL FLISTAM_STMT_is_(FLISTAM_STMT);
  1590. void FLISTAM_STMT_aclear(FLISTAM_STMT);
  1591. void FLISTAM_STMT_clear(FLISTAM_STMT);
  1592. void FLISTAM_STMT_are_6193(FLISTAM_STMT, INT, AM_STMT);
  1593. void FLISTAM_STMT_ase_6196(FLISTAM_STMT, INT, AM_STMT);
  1594. FLISTAM_STMT FLISTAM_STMT_pus(FLISTAM_STMT, AM_STMT);
  1595. FLISTAM_CONST FLISTFLISTAM_CON_6207(FLISTFLISTAM_CONST);
  1596. AM_STMT TRANS_transform__6210(TRANS, TR_CASE_STMT, TR_CASE_WHEN, AM_LOCAL_EXPR);
  1597. AM_STMT TRANS_transform__6219(TRANS, TR_CASE_STMT);
  1598. void TRANS_typecase_l(TRANS, TR_TYPECASE_STMT);
  1599. BOOL AM_ROUT_DEF_loca(AM_ROUT_DEF, AM_LOCAL_EXPR);
  1600. void TRANS_typecase_h(TRANS, TR_TYPECASE_STMT);
  1601. AM_TYPECASE_STMT AM_TYPECASE_STMT_6227(AM_TYPECASE_STMT, SFILE_ID);
  1602. BOOL FLISTTP_is_empty(FLISTTP);
  1603. void FLISTTP_aclear(FLISTTP);
  1604. void FLISTTP_clear(FLISTTP);
  1605. void FLISTTP_aref_ase(FLISTTP, INT, TP);
  1606. void FLISTTP_aset_INT_TP(FLISTTP, INT, TP);
  1607. FLISTTP FLISTTP_push_TP_(FLISTTP, TP);
  1608. void TRANS_typecase_n(TRANS, TR_TYPECASE_STMT);
  1609. AM_STMT TRANS_transform__6248(TRANS, TR_TYPECASE_STMT);
  1610. AM_ASSERT_STMT AM_ASSERT_STMT_c(AM_ASSERT_STMT, SFILE_ID);
  1611. AM_STMT TRANS_transform__6260(TRANS, TR_ASSERT_STMT);
  1612. AM_PROTECT_STMT AM_PROTECT_STMT_(AM_PROTECT_STMT, SFILE_ID);
  1613. AM_STMT TRANS_transform__6267(TRANS, TR_PROTECT_STMT);
  1614. void TRANS_stmts_afte_6275(TRANS, TR_RAISE_STMT);
  1615. AM_RAISE_STMT AM_RAISE_STMT_cr(AM_RAISE_STMT, SFILE_ID);
  1616. AM_STMT TRANS_transform__6281(TRANS, TR_RAISE_STMT);
  1617. void TRANS_break_not_(TRANS, TR_EXPR_STMT);
  1618. AM_BREAK_STMT AM_BREAK_STMT_cr(AM_BREAK_STMT, SFILE_ID);
  1619. void TRANS_expr_stmt_(TRANS, TR_EXPR_STMT);
  1620. AM_STMT TRANS_transform__6290(TRANS, TR_EXPR_STMT);
  1621. AM_STMT TRANS_transform__6295(TRANS, TR_STMT);
  1622. AM_LOCAL_EXPR FLISTAM_LOCAL_EX_6298(FLISTAM_LOCAL_EXPR);
  1623. AM_STMT TRANS_transform__6099(TRANS, TR_STMT);
  1624. AM_ROUT_DEF TRANS_transform__6308(TRANS, ELT, TR_ROUT_DEF);
  1625. AM_ROUT_DEF TRANS_transform__6317(TRANS, ELT);
  1626. void INLINE_ATTR_READ_6323(INLINE_ATTR_READ, INT);
  1627. INLINE_ATTR_READ INLINE_ATTR_READ_6325(INLINE_ATTR_READ, AM_ROUT_DEF);
  1628. void INLINE_GLOBAL_RE(INLINE_GLOBAL_READ, INT);
  1629. INLINE_GLOBAL_READ INLINE_GLOBAL_RE_6331(INLINE_GLOBAL_READ, AM_ROUT_DEF);
  1630. void INLINE_ATTR_WRIT(INLINE_ATTR_WRITE, INT);
  1631. INLINE_ATTR_WRITE INLINE_ATTR_WRIT_6338(INLINE_ATTR_WRITE, AM_ROUT_DEF);
  1632. INLINE_TBL INLINE_TBL_test_(INLINE_TBL, AM_ROUT_DEF);
  1633. AM_EXPR FLISTAM_EXPR_are_6350(FLISTAM_EXPR, INT);
  1634. AM_EXPR FLISTAM_EXPR_age(FLISTAM_EXPR, INT);
  1635. void PROG_AM_GENERATE_5472(PROG_AM_GENERATE, SIG);
  1636. void PROG_AM_GENERATE_6363(PROG_AM_GENERATE);
  1637. SIG FLISTSIG_aref_ag(FLISTSIG, INT);
  1638. SIG FLISTSIG_aget_IN(FLISTSIG, INT);
  1639. SIG FLISTSIG_pop_SIG(FLISTSIG);
  1640. void PROG_AM_GENERATE_6381(PROG_AM_GENERATE);
  1641. void PROG_do_am_gener(PROG);
  1642. BOOL BE_is_const_expr(BE, AM_EXPR);
  1643. void BE_emit_globals(BE);
  1644. FILE_20 FILE_plus_FSTR_FILE(FILE_20, FSTR);
  1645. void BE_define_main_a(BE);
  1646. AM_STR_CONST AM_STR_CONST_cre_6431(AM_STR_CONST);
  1647. STR BE_value_compare(BE, TP, STR, STR);
  1648. void BE_generate_sys_(BE);
  1649. FLISTTP FLISTTP_create_F(FLISTTP);
  1650. AM_ROUT_DEF FMAPSIGAM_ROUT_D_6484(FMAPSIGAM_ROUT_DEF, SIG);
  1651. FMAPSIGAM_ROUT_DEF FMAPSIGAM_ROUT_D_6490(FMAPSIGAM_ROUT_DEF);
  1652. FMAPSIGAM_ROUT_DEF FMAPSIGAM_ROUT_D_6496(FMAPSIGAM_ROUT_DEF, SIG);
  1653. STR BE_emit_dispatch(BE, SIG);
  1654. void BE_emit_dispatch_6529(BE, AM_ROUT_DEF);
  1655. void BE_generate_disp(BE);
  1656. void BE_generate_bnd_(BE);
  1657. void BE_generate_bnd__6622(BE);
  1658. INT FMAPSTRITER_INLI_6641(FMAPSTRITER_INLINE);
  1659.  
  1660. INT UNIX_system_STR_INT(UNIX, STR);
  1661. void BE_finalize(BE);
  1662. void PROG_finalize_ba(PROG);
  1663. void PROG_AM_CHECK_ch(PROG_AM_CHECK, SIG);
  1664. void PROG_AM_CHECK_ch_6708(PROG_AM_CHECK);
  1665. void PROG_do_am_check(PROG);
  1666. INT sather_main(CS, ARRAYSTR);
  1667. STR FSETSTR_elt_STR(FSETSTR_elt_STR_frame);
  1668. BOOL FSETSTR_invarian(FSETSTR);
  1669. STR FSETSTR_aelt_STR(FSETSTR_aelt_STR_frame);
  1670. INT INT_times_INT(INT_times_INT_frame);
  1671. SIG SIG_TBL_elt_SIG(SIG_TBL_elt_SIG_frame);
  1672. BOOL SIG_TBL_invarian(SIG_TBL);
  1673. SIG SIG_TBL_aelt_SIG(SIG_TBL_aelt_SIG_frame);
  1674. TP FSETTP_elt_TP(FSETTP_elt_TP_frame);
  1675. BOOL FSETTP_invariant(FSETTP);
  1676. TP FSETTP_aelt_TP(FSETTP_aelt_TP_frame);
  1677. CHAR STR_elt_CHAR(STR_elt_CHAR_frame);
  1678. CHAR STR_aelt_CHAR(STR_aelt_CHAR_frame);
  1679. STR FLISTSTR_elt_STR(FLISTSTR_elt_STR_frame);
  1680. BOOL FLISTSTR_invaria(FLISTSTR);
  1681. STR FLISTSTR_aelt_IN(FLISTSTR_aelt_IN_frame);
  1682. INT INT_upto_INT_INT(INT_upto_INT_INT_frame);
  1683. INT INT_for_INT_INT(INT_for_INT_INT_frame);
  1684. BOOL FMAPSTRITER_INLI_1037(FMAPSTRITER_INLINE);
  1685. TP ARRAYTP_elt_TP(ARRAYTP_elt_TP_frame);
  1686. TP ARRAYTP_aelt_TP(ARRAYTP_aelt_TP_frame);
  1687. TP_ROUT TP_ROUT_TBL_elt__223(TP_ROUT_TBL_elt__223_frame);
  1688. BOOL TP_ROUT_TBL_inva(TP_ROUT_TBL);
  1689. TP_ROUT TP_ROUT_TBL_aelt(TP_ROUT_TBL_aelt_frame);
  1690. INT ARRAYSTR_ind_INT(ARRAYSTR_ind_INT_frame);
  1691. INT ARRAYSTR_aind_INT(ARRAYSTR_aind_INT_frame);
  1692. INT AM_BND_CREATE_EX_3800(AM_BND_CREATE_EX_3800_frame);
  1693. INT AM_BND_CREATE_EX_6797(AM_BND_CREATE_EX_6797_frame);
  1694. INT INT_up_INT(INT_up_INT_frame);
  1695. INT ARRAYINT_elt_INT(ARRAYINT_elt_INT_frame);
  1696. INT ARRAYINT_aelt_INT(ARRAYINT_aelt_INT_frame);
  1697. AM_BND_CREATE_EXPR FLISTAM_BND_CREA_4674(FLISTAM_BND_CREA_4674_frame);
  1698. BOOL FLISTAM_BND_CREA_1044(FLISTAM_BND_CREA);
  1699. AM_BND_CREATE_EXPR FLISTAM_BND_CREA_6817(FLISTAM_BND_CREA, INT);
  1700. AM_BND_CREATE_EXPR FLISTAM_BND_CREA_6820(FLISTAM_BND_CREA, INT);
  1701. AM_BND_CREATE_EXPR FLISTAM_BND_CREA_6815(FLISTAM_BND_CREA_6815_frame);
  1702. AM_ROUT_DEF FLISTAM_ROUT_DEF_4104(FLISTAM_ROUT_DEF_4104_frame);
  1703. BOOL FLISTAM_ROUT_DEF_1041(FLISTAM_ROUT_DEF);
  1704. AM_ROUT_DEF FLISTAM_ROUT_DEF_6834(FLISTAM_ROUT_DEF, INT);
  1705. AM_ROUT_DEF FLISTAM_ROUT_DEF_6837(FLISTAM_ROUT_DEF, INT);
  1706. AM_ROUT_DEF FLISTAM_ROUT_DEF_6832(FLISTAM_ROUT_DEF_6832_frame);
  1707. TP FLISTTP_elt_TP(FLISTTP_elt_TP_frame);
  1708. BOOL FLISTTP_invarian(FLISTTP);
  1709. TP FLISTTP_aelt_INT(FLISTTP_aelt_INT_frame);
  1710. BOOL FMAPSIGAM_ROUT_D_1046(FMAPSIGAM_ROUT_DEF);
  1711. TUPSIGAM_ROUT_DEF FMAPSIGAM_ROUT_D_4144(FMAPSIGAM_ROUT_D_4144_frame);
  1712. TUPSIGAM_ROUT_DEF FMAPSIGAM_ROUT_D_6859(FMAPSIGAM_ROUT_D_6859_frame);
  1713. TP FMAPTPINT_keys_TP(FMAPTPINT_keys_TP_frame);
  1714. BOOL FMAPTPINT_invari(FMAPTPINT);
  1715. TUPTPINT FMAPTPINT_aelt_T(FMAPTPINT_aelt_T_frame);
  1716. TUPTPINT FMAPTPINT_pairs_(FMAPTPINT_pairs__frame);
  1717. TUPIDENTTP FMAPIDENTTP_pair(FMAPIDENTTP_pair_frame);
  1718. BOOL FMAPIDENTTP_inva(FMAPIDENTTP);
  1719. TUPIDENTTP FMAPIDENTTP_aelt(FMAPIDENTTP_aelt_frame);
  1720. AM_GLOBAL_EXPR FLISTAM_GLOBAL_E_5942(FLISTAM_GLOBAL_E_5942_frame);
  1721. BOOL FLISTAM_GLOBAL_E_5920(FLISTAM_GLOBAL_EXPR);
  1722. AM_GLOBAL_EXPR FLISTAM_GLOBAL_E_6890(FLISTAM_GLOBAL_EXPR, INT);
  1723. AM_GLOBAL_EXPR FLISTAM_GLOBAL_E_6893(FLISTAM_GLOBAL_EXPR, INT);
  1724. AM_GLOBAL_EXPR FLISTAM_GLOBAL_E_6888(FLISTAM_GLOBAL_E_6888_frame);
  1725. BOOL FLISTSIG_invaria(FLISTSIG);
  1726. TP_CLASS TP_CLASS_TBL_elt_161(TP_CLASS_TBL_elt_161_frame);
  1727. BOOL TP_CLASS_TBL_inv(TP_CLASS_TBL);
  1728. TP_CLASS TP_CLASS_TBL_ael(TP_CLASS_TBL_ael_frame);
  1729. BOOL FLISTAM_EXPR_inv(FLISTAM_EXPR);
  1730. BOOL INLINE_TBL_invar(INLINE_TBL);
  1731. BOOL FLISTAM_LOCAL_EX_3769(FLISTAM_LOCAL_EXPR);
  1732. void FLISTTP_aset_TP(FLISTTP_aset_TP_frame);
  1733. BOOL FLISTFLISTAM_CON_3982(FLISTFLISTAM_CONST);
  1734. BOOL FLISTAM_STMT_inv(FLISTAM_STMT);
  1735. void FLISTAM_STMT_ase(FLISTAM_STMT_ase_frame);
  1736. AM_STMT FLISTAM_STMT_elt(FLISTAM_STMT_elt_frame);
  1737. AM_STMT FLISTAM_STMT_ael(FLISTAM_STMT_ael_frame);
  1738. void FLISTFLISTAM_CON_6169(FLISTFLISTAM_CON_6169_frame);
  1739. FLISTAM_CONST FLISTFLISTAM_CON_6185(FLISTFLISTAM_CON_6185_frame);
  1740. FLISTAM_CONST FLISTFLISTAM_CON_6934(FLISTFLISTAM_CON_6934_frame);
  1741. BOOL FLISTAM_CONST_in(FLISTAM_CONST);
  1742. void FLISTAM_CONST_as_6148(FLISTAM_CONST_as_6148_frame);
  1743. AM_CONST FLISTAM_CONST_el(FLISTAM_CONST_el_frame);
  1744. AM_CONST FLISTAM_CONST_ae(FLISTAM_CONST_ae_frame);
  1745. INT ELT_TBL_query_ha(ELT_TBL, IDENT);
  1746. BOOL ELT_TBL_query_te(ELT_TBL, IDENT, ELT);
  1747. ELT ELT_TBL_get_quer(ELT_TBL_get_quer_frame);
  1748. BOOL ELT_TBL_invarian(ELT_TBL);
  1749. void FLISTAM_GLOBAL_E_5926(FLISTAM_GLOBAL_E_5926_frame);
  1750. BOOL FMAPTPFMAPIDENTA_5104(FMAPTPFMAPIDENTA);
  1751. TUPTPFMAPIDENTAM FMAPTPFMAPIDENTA_5904(FMAPTPFMAPIDENTA_5904_frame);
  1752. TUPTPFMAPIDENTAM FMAPTPFMAPIDENTA_6970(FMAPTPFMAPIDENTA_6970_frame);
  1753. void FMAPTPFMAPIDENTA_5894(FMAPTPFMAPIDENTA_5894_frame);
  1754. BOOL FMAPIDENTAM_GLOB_5122(FMAPIDENTAM_GLOB);
  1755. TUPIDENTAM_GLOBA FMAPIDENTAM_GLOB_5869(FMAPIDENTAM_GLOB_5869_frame);
  1756. TUPIDENTAM_GLOBA FMAPIDENTAM_GLOB_6981(FMAPIDENTAM_GLOB_6981_frame);
  1757. void FMAPIDENTAM_GLOB_5859(FMAPIDENTAM_GLOB_5859_frame);
  1758. BOOL ARRAYBOOL_elt_BOOL(ARRAYBOOL_elt_BOOL_frame);
  1759. BOOL ARRAYBOOL_aelt_BOOL(ARRAYBOOL_aelt_BOOL_frame);
  1760. void ARRAYTP_set_TP(ARRAYTP_set_TP_frame);
  1761. void ARRAYTP_aset_TP(ARRAYTP_aset_TP_frame);
  1762. void ARRAYBOOL_set_BOOL(ARRAYBOOL_set_BOOL_frame);
  1763. void ARRAYBOOL_aset_I(ARRAYBOOL, INT, BOOL);
  1764. void ARRAYBOOL_aset_BOOL(ARRAYBOOL_aset_BOOL_frame);
  1765. void ARRAYCALL_TP_set(ARRAYCALL_TP_set_frame);
  1766. void ARRAYCALL_TP_ase_7005(ARRAYCALL_TP_ase_7005_frame);
  1767. BOOL FSETTP_CLASS_inv(FSETTP_CLASS);
  1768. void FLISTAM_EXPR_ase(FLISTAM_EXPR_ase_frame);
  1769. AM_EXPR FLISTAM_EXPR_elt(FLISTAM_EXPR_elt_frame);
  1770. AM_EXPR FLISTAM_EXPR_ael(FLISTAM_EXPR_ael_frame);
  1771. void INLINE_GLOBAL_RE_7020(INLINE_GLOBAL_READ, INT);
  1772. AM_EXPR INLINE_GLOBAL_RE_7021(INLINE_GLOBAL_READ, AM_ROUT_CALL_EXPR, TRANS);
  1773. AM_EXPR INLINE_ROUT_inli(INLINE_ROUT, AM_ROUT_CALL_EXPR, TRANS);
  1774. AM_EXPR INLINE_BUILTIN_i(INLINE_BUILTIN, AM_ROUT_CALL_EXPR, TRANS);
  1775. AM_EXPR INLINE_VARR_WRIT(INLINE_VARR_WRITE, AM_ROUT_CALL_EXPR, TRANS);
  1776. AM_EXPR INLINE_ARR_WRITE_7034(INLINE_ARR_WRITE, AM_ROUT_CALL_EXPR, TRANS);
  1777. AM_INT_CONST AM_INT_CONST_cre_7038(AM_INT_CONST, SFILE_ID);
  1778. void INLINE_INT_FOLD__7042(INLINE_INT_FOLD, INT);
  1779. AM_EXPR INLINE_INT_FOLD__7043(INLINE_INT_FOLD, AM_ROUT_CALL_EXPR, TRANS);
  1780. AM_EXPR INLINE_VATTR_WRI(INLINE_VATTR_WRITE, AM_ROUT_CALL_EXPR, TRANS);
  1781. AM_EXPR INLINE_ARR_READ_(INLINE_ARR_READ, AM_ROUT_CALL_EXPR, TRANS);
  1782. AM_EXPR INLINE_VARR_READ_7056(INLINE_VARR_READ, AM_ROUT_CALL_EXPR, TRANS);
  1783. AM_EXPR INLINE_VATTR_REA(INLINE_VATTR_READ, AM_ROUT_CALL_EXPR, TRANS);
  1784. void INLINE_ATTR_WRIT_7063(INLINE_ATTR_WRITE, INT);
  1785. AM_STMT_EXPR AM_STMT_EXPR_cre(AM_STMT_EXPR, SFILE_ID);
  1786. AM_EXPR INLINE_ATTR_WRIT_7067(INLINE_ATTR_WRITE, AM_ROUT_CALL_EXPR, TRANS);
  1787. void INLINE_ATTR_READ_7074(INLINE_ATTR_READ, INT);
  1788. AM_EXPR INLINE_ATTR_READ_7075(INLINE_ATTR_READ, AM_ROUT_CALL_EXPR, TRANS);
  1789. TP AM_ROUT_CALL_EXP_7080(AM_ROUT_CALL_EXPR);
  1790. TP AM_BND_ITER_CALL_7082(AM_BND_ITER_CALL);
  1791. TP AM_BND_ROUT_CALL_7084(AM_BND_ROUT_CALL);
  1792. BOOL FLISTAM_BND_ITER_5434(FLISTAM_BND_ITER);
  1793. void FLISTAM_BND_ITER_5440(FLISTAM_BND_ITER_5440_frame);
  1794. AM_BND_ITER_CALL FLISTAM_BND_ITER_5456(FLISTAM_BND_ITER_5456_frame);
  1795. AM_BND_ITER_CALL FLISTAM_BND_ITER_7095(FLISTAM_BND_ITER, INT);
  1796. AM_BND_ITER_CALL FLISTAM_BND_ITER_7098(FLISTAM_BND_ITER, INT);
  1797. AM_BND_ITER_CALL FLISTAM_BND_ITER_7094(FLISTAM_BND_ITER_7094_frame);
  1798. void AM_EXPR_STMT_app(AM_EXPR_STMT, AM_STMT);
  1799. void AM_LOOP_STMT_app(AM_LOOP_STMT, AM_STMT);
  1800. void AM_BREAK_STMT_ap(AM_BREAK_STMT, AM_STMT);
  1801. void AM_YIELD_STMT_ap(AM_YIELD_STMT, AM_STMT);
  1802. void AM_ASSERT_STMT_a(AM_ASSERT_STMT, AM_STMT);
  1803. void AM_POST_STMT_app(AM_POST_STMT, AM_STMT);
  1804. void AM_RETURN_STMT_a(AM_RETURN_STMT, AM_STMT);
  1805. void AM_TYPECASE_STMT_7120(AM_TYPECASE_STMT, AM_STMT);
  1806. void AM_PRE_STMT_appe(AM_PRE_STMT, AM_STMT);
  1807. void AM_RAISE_STMT_ap(AM_RAISE_STMT, AM_STMT);
  1808. void AM_INVARIANT_STM_7127(AM_INVARIANT_STMT, AM_STMT);
  1809. void AM_CASE_STMT_app(AM_CASE_STMT, AM_STMT);
  1810. void AM_IF_STMT_appen(AM_IF_STMT, AM_STMT);
  1811. void AM_PROTECT_STMT__7134(AM_PROTECT_STMT, AM_STMT);
  1812. void AM_INITIAL_STMT__7137(AM_INITIAL_STMT, AM_STMT);
  1813. void AM_ASSIGN_STMT_a(AM_ASSIGN_STMT, AM_STMT);
  1814. void FLISTAM_LOCAL_EX_5370(FLISTAM_LOCAL_EX_5370_frame);
  1815. AM_LOCAL_EXPR FLISTAM_LOCAL_EX_4237(FLISTAM_LOCAL_EX_4237_frame);
  1816. AM_LOCAL_EXPR FLISTAM_LOCAL_EX_7149(FLISTAM_LOCAL_EX_7149_frame);
  1817. AM_EXPR AM_EXT_CALL_EXPR_3901(AM_EXT_CALL_EXPR_3901_frame);
  1818. AM_EXPR AM_EXT_CALL_EXPR_7157(AM_EXT_CALL_EXPR_7157_frame);
  1819. AM_EXPR AM_BND_ROUT_CALL_3884(AM_BND_ROUT_CALL_3884_frame);
  1820. AM_EXPR AM_BND_ROUT_CALL_7164(AM_BND_ROUT_CALL_7164_frame);
  1821. AM_EXPR AM_BND_CREATE_EX_5356(AM_BND_CREATE_EX_5356_frame);
  1822. AM_EXPR AM_BND_CREATE_EX_7171(AM_BND_CREATE_EX_7171_frame);
  1823. AM_EXPR AM_ARRAY_EXPR_el(AM_ARRAY_EXPR_el_frame);
  1824. AM_EXPR AM_ARRAY_EXPR_ae(AM_ARRAY_EXPR_ae_frame);
  1825. AM_EXPR AM_ROUT_CALL_EXP(AM_ROUT_CALL_EXP_frame);
  1826. AM_EXPR AM_ROUT_CALL_EXP_7184(AM_ROUT_CALL_EXP_7184_frame);
  1827. CALL_TP ARRAYCALL_TP_elt(ARRAYCALL_TP_elt_frame);
  1828. CALL_TP ARRAYCALL_TP_ael(ARRAYCALL_TP_ael_frame);
  1829. INT SIG_TBL_query_ha(SIG_TBL, IDENT);
  1830. BOOL SIG_TBL_query_te(SIG_TBL, IDENT, SIG);
  1831. SIG SIG_TBL_get_quer(SIG_TBL_get_quer_frame);
  1832. STR STR_separate_STR_STR(STR_separate_STR_STR_frame);
  1833. STR CALL_TP_UNDERSCO_7207(CALL_TP_UNDERSCORE);
  1834. STR CALL_TP_CREATE_s(CALL_TP_CREATE);
  1835. STR CALL_TP_ARRAY_st(CALL_TP_ARRAY);
  1836. STR CALL_TP_VOID_str_STR(CALL_TP_VOID);
  1837. BOOL CALL_TP_UNDERSCO_7215(CALL_TP_UNDERSCORE, TP);
  1838. BOOL TP_ROUT_has_ret_BOOL(TP_ROUT);
  1839. BOOL TP_ROUT_is_subty(TP_ROUT, TP);
  1840. BOOL CALL_TP_CREATE_i(CALL_TP_CREATE, TP);
  1841. BOOL CALL_TP_ARRAY_is(CALL_TP_ARRAY, TP);
  1842. BOOL CALL_TP_VOID_is_(CALL_TP_VOID, TP);
  1843. BOOL TP_ITER_has_ret_BOOL(TP_ITER);
  1844. BOOL TP_ITER_is_subty(TP_ITER, TP);
  1845. INT TR_HERE_EXPR_siz(TR_HERE_EXPR);
  1846. INT TR_CHAR_LIT_EXPR_7252(TR_CHAR_LIT_EXPR);
  1847. INT TR_BOUND_CREATE__7257(TR_BOUND_CREATE_EXPR);
  1848. INT TR_ARRAY_EXPR_si(TR_ARRAY_EXPR);
  1849. INT TR_BREAK_EXPR_si(TR_BREAK_EXPR);
  1850. INT TR_INITIAL_EXPR__7270(TR_INITIAL_EXPR);
  1851. INT TR_AND_EXPR_size_INT(TR_AND_EXPR);
  1852. INT TR_FLT_LIT_EXPR__7279(TR_FLT_LIT_EXPR);
  1853. INT TR_EXCEPT_EXPR_s(TR_EXCEPT_EXPR);
  1854. INT TR_BOOL_LIT_EXPR_7288(TR_BOOL_LIT_EXPR);
  1855. INT TR_NEAR_EXPR_siz(TR_NEAR_EXPR);
  1856. INT TR_SELF_EXPR_siz(TR_SELF_EXPR);
  1857. INT TR_VOID_EXPR_siz(TR_VOID_EXPR);
  1858. INT TR_AT_EXPR_size_INT(TR_AT_EXPR);
  1859. INT TR_NEW_EXPR_size_INT(TR_NEW_EXPR);
  1860. INT TR_RESULT_EXPR_s(TR_RESULT_EXPR);
  1861. INT TR_OR_EXPR_size_INT(TR_OR_EXPR);
  1862. INT TR_EXPR_size_INT_7321(TR_EXPR_52);
  1863. INT TR_STR_LIT_EXPR__7326(TR_STR_LIT_EXPR);
  1864. INT TR_CREATE_EXPR_s(TR_CREATE_EXPR);
  1865. INT TR_FAR_EXPR_size_INT(TR_FAR_EXPR);
  1866. INT TR_IS_VOID_EXPR__7339(TR_IS_VOID_EXPR);
  1867. INT TR_WHERE_EXPR_si(TR_WHERE_EXPR);
  1868. INT TR_INT_LIT_EXPR__7348(TR_INT_LIT_EXPR);
  1869. INT TR_UNDERSCORE_AR_7353(TR_UNDERSCORE_ARG);
  1870. INT TR_CALL_EXPR_siz(TR_CALL_EXPR);
  1871. AM_LOCAL_EXPR AM_ROUT_DEF_elt_(AM_ROUT_DEF_elt__frame);
  1872. AM_LOCAL_EXPR AM_ROUT_DEF_aelt(AM_ROUT_DEF_aelt_frame);
  1873. OB FSETOB_elt_OB(FSETOB_elt_OB_frame);
  1874. BOOL FSETOB_invariant(FSETOB);
  1875. OB FSETOB_aelt_OB(FSETOB_aelt_OB_frame);
  1876. AM_ITER_CALL_EXPR FLISTAM_ITER_CAL_4815(FLISTAM_ITER_CAL_4815_frame);
  1877. BOOL FLISTAM_ITER_CAL_4190(FLISTAM_ITER_CAL);
  1878. AM_ITER_CALL_EXPR FLISTAM_ITER_CAL_7383(FLISTAM_ITER_CAL, INT);
  1879. AM_ITER_CALL_EXPR FLISTAM_ITER_CAL_7386(FLISTAM_ITER_CAL, INT);
  1880. AM_ITER_CALL_EXPR FLISTAM_ITER_CAL_7381(FLISTAM_ITER_CAL_7381_frame);
  1881. BOOL FMAPOBSTR_invari(FMAPOBSTR);
  1882. TUPOBSTR FMAPOBSTR_pairs_(FMAPOBSTR_pairs__frame);
  1883. TUPOBSTR FMAPOBSTR_aelt_T(FMAPOBSTR_aelt_T_frame);
  1884. STR ARRAYSTR_elt_STR(ARRAYSTR_elt_STR_frame);
  1885. STR ARRAYSTR_aelt_STR(ARRAYSTR_aelt_STR_frame);
  1886. INT ARRAYARRAYSTR_in(ARRAYARRAYSTR_in_frame);
  1887. INT ARRAYARRAYSTR_ai(ARRAYARRAYSTR_ai_frame);
  1888. INT FLISTTP_ind_INT(FLISTTP_ind_INT_frame);
  1889. void FLISTAM_ITER_CAL_4826(FLISTAM_ITER_CAL_4826_frame);
  1890. INT AM_BND_ROUT_CALL_4798(AM_BND_ROUT_CALL_4798_frame);
  1891. INT AM_BND_ROUT_CALL_7422(AM_BND_ROUT_CALL_7422_frame);
  1892. INT AM_ARRAY_EXPR_in(AM_ARRAY_EXPR_in_frame);
  1893. INT AM_ARRAY_EXPR_ai(AM_ARRAY_EXPR_ai_frame);
  1894. void FLISTAM_BND_CREA_4658(FLISTAM_BND_CREA_4658_frame);
  1895. INT AM_ITER_CALL_EXP_4506(AM_ITER_CALL_EXP_4506_frame);
  1896. INT AM_ITER_CALL_EXP_7437(AM_ITER_CALL_EXP_7437_frame);
  1897. BOOL FMAPSTRTUPSTRSTR_1035(FMAPSTRTUPSTRSTR);
  1898. void FMAPTPINT_aset_T(FMAPTPINT_aset_T_frame);
  1899. BOOL IMPL_is_atomic_BOOL(IMPL);
  1900. BOOL TP_CLASS_is_atom(TP_CLASS);
  1901. BOOL TP_CLASS_is_atom_7450(TP_CLASS);
  1902. ELT ELT_TBL_elt_ELT(ELT_TBL_elt_ELT_frame);
  1903. ELT ELT_TBL_aelt_ELT(ELT_TBL_aelt_ELT_frame);
  1904. BOOL TP_ROUT_is_atomi(TP_ROUT);
  1905. BOOL TP_ITER_is_atomi(TP_ITER);
  1906. INT INT_downto_INT_INT(INT_downto_INT_INT_frame);
  1907. TP AM_STMT_EXPR_tp_TP(AM_STMT_EXPR);
  1908. BOOL FSTR_invariant_BOOL(FSTR);
  1909. void INT_times(INT_times_frame);
  1910. void FMAPSIGAM_ROUT_D_4132(FMAPSIGAM_ROUT_D_4132_frame);
  1911. void FLISTAM_ROUT_DEF_4088(FLISTAM_ROUT_DEF_4088_frame);
  1912. BOOL FLISTINT_invaria(FLISTINT);
  1913. AM_CONST ARRAYAM_CONST_el(ARRAYAM_CONST_el_frame);
  1914. INT ARRAYAM_CONST_as(ARRAYAM_CONST);
  1915. AM_CONST ARRAYAM_CONST_ag(ARRAYAM_CONST, INT);
  1916. AM_CONST ARRAYAM_CONST_ae(ARRAYAM_CONST_ae_frame);
  1917. AM_EXPR AM_BND_ITER_CALL_3893(AM_BND_ITER_CALL_3893_frame);
  1918. AM_EXPR AM_BND_ITER_CALL_7484(AM_BND_ITER_CALL_7484_frame);
  1919. AM_EXPR AM_ITER_CALL_EXP(AM_ITER_CALL_EXP_frame);
  1920. AM_EXPR AM_ITER_CALL_EXP_7491(AM_ITER_CALL_EXP_7491_frame);
  1921. INT ARRAYINT_ind_INT(ARRAYINT_ind_INT_frame);
  1922. INT ARRAYINT_aind_INT(ARRAYINT_aind_INT_frame);
  1923. void FLISTSIG_aset_SIG(FLISTSIG_aset_SIG_frame);
  1924. SIG FLISTSIG_elt_SIG(FLISTSIG_elt_SIG_frame);
  1925. SIG FLISTSIG_aelt_IN(FLISTSIG_aelt_IN_frame);
  1926. TP FMAPIDENTTP_targ(FMAPIDENTTP_targ_frame);
  1927. TP_CLASS FLISTTP_CLASS_el(FLISTTP_CLASS_el_frame);
  1928. BOOL FLISTTP_CLASS_in(FLISTTP_CLASS);
  1929. TP_CLASS FLISTTP_CLASS_ar_7522(FLISTTP_CLASS, INT);
  1930. TP_CLASS FLISTTP_CLASS_ag(FLISTTP_CLASS, INT);
  1931. TP_CLASS FLISTTP_CLASS_ae(FLISTTP_CLASS_ae_frame);
  1932. BOOL TP_ROUT_is_value(TP_ROUT);
  1933. BOOL TP_ITER_is_value(TP_ITER);
  1934. void FMAPIDENTTP_aset(FMAPIDENTTP_aset_frame);
  1935. CHAR FSTR_elt_CHAR(FSTR_elt_CHAR_frame);
  1936. CHAR FSTR_aelt_INT_IN(FSTR_aelt_INT_IN_frame);
  1937. void FSETOB_aset_OB(FSETOB_aset_OB_frame);
  1938. void FLISTTP_CLASS_as_3514(FLISTTP_CLASS_as_3514_frame);
  1939. TP_CLASS FSETTP_CLASS_elt_3006(FSETTP_CLASS_elt_3006_frame);
  1940. TP_CLASS FSETTP_CLASS_ael(FSETTP_CLASS_ael_frame);
  1941. BOOL FMAPTPIFC_invari(FMAPTPIFC);
  1942. TUPTPIFC FMAPTPIFC_pairs_(FMAPTPIFC_pairs__frame);
  1943. TUPTPIFC FMAPTPIFC_aelt_T(FMAPTPIFC_aelt_T_frame);
  1944. void FMAPTPIFC_aset_T(FMAPTPIFC_aset_T_frame);
  1945. BOOL FLISTIFC_invaria(FLISTIFC);
  1946. void FLISTIFC_aset_IFC(FLISTIFC_aset_IFC_frame);
  1947. IFC FLISTIFC_elt_IFC(FLISTIFC_elt_IFC_frame);
  1948. IFC FLISTIFC_aelt_IN(FLISTIFC_aelt_IN_frame);
  1949. TUPIDENTINT FSETTUPIDENTINT__2370(FSETTUPIDENTINT__2370_frame);
  1950. BOOL FSETTUPIDENTINT__2333(FSETTUPIDENTINT);
  1951. TUPIDENTINT FSETTUPIDENTINT__7581(FSETTUPIDENTINT__7581_frame);
  1952. TUPTP_CLASSFSETTP FMAPTP_CLASSFSET_3145(FMAPTP_CLASSFSET_3145_frame);
  1953. BOOL FMAPTP_CLASSFSET_3107(FMAPTP_CLASSFSETTP);
  1954. TUPTP_CLASSFSETTP FMAPTP_CLASSFSET_7590(FMAPTP_CLASSFSET_7590_frame);
  1955. TUPTP_CLASSFSETT FMAPTP_CLASSFSET_3044(FMAPTP_CLASSFSET_3044_frame);
  1956. BOOL FMAPTP_CLASSFSET_2968(FMAPTP_CLASSFSET);
  1957. TUPTP_CLASSFSETT FMAPTP_CLASSFSET_7599(FMAPTP_CLASSFSET_7599_frame);
  1958. void FMAPTP_CLASSFSET_3135(FMAPTP_CLASSFSET_3135_frame);
  1959. void FMAPTP_CLASSFSET_3034(FMAPTP_CLASSFSET_3034_frame);
  1960. void FSETTP_CLASS_ase(FSETTP_CLASS_ase_frame);
  1961. TR_CLASS_DEF PROG_TR_TBL_elt__2054(PROG_TR_TBL_elt__2054_frame);
  1962. BOOL PROG_TR_TBL_inva(PROG_TR_TBL);
  1963. TR_CLASS_DEF PROG_TR_TBL_aelt(PROG_TR_TBL_aelt_frame);
  1964. BOOL FMAPTPIMPL_invar(FMAPTPIMPL);
  1965. TUPTPIMPL FMAPTPIMPL_pairs(FMAPTPIMPL_pairs_frame);
  1966. TUPTPIMPL FMAPTPIMPL_aelt_(FMAPTPIMPL_aelt__frame);
  1967. void FMAPTPIMPL_aset_(FMAPTPIMPL_aset__frame);
  1968. void SIG_TBL_aset_SIG(SIG_TBL_aset_SIG_frame);
  1969. IMPL_INCLUDE FLISTIMPL_INCLUD_2741(FLISTIMPL_INCLUD_2741_frame);
  1970. BOOL FLISTIMPL_INCLUD_2719(FLISTIMPL_INCLUDE);
  1971. IMPL_INCLUDE FLISTIMPL_INCLUD_7635(FLISTIMPL_INCLUD_7635_frame);
  1972. void FLISTIMPL_INCLUD_2725(FLISTIMPL_INCLUD_2725_frame);
  1973. BOOL FSETTR_FEAT_MOD__2627(FSETTR_FEAT_MOD);
  1974. TR_FEAT_MOD FSETTR_FEAT_MOD__2643(FSETTR_FEAT_MOD__2643_frame);
  1975. TR_FEAT_MOD FSETTR_FEAT_MOD__7648(FSETTR_FEAT_MOD__7648_frame);
  1976. void FSETTR_FEAT_MOD__2634(FSETTR_FEAT_MOD__2634_frame);
  1977. IDENT ARRAYIDENT_elt_IDENT(ARRAYIDENT_elt_IDENT_frame);
  1978. IDENT ARRAYIDENT_aelt_(ARRAYIDENT_aelt__frame);
  1979. BOOL TP_ROUT_is_bound(TP_ROUT);
  1980. BOOL TP_ITER_is_bound(TP_ITER);
  1981. BOOL TP_ROUT_is_abstr(TP_ROUT);
  1982. BOOL TP_ITER_is_abstr(TP_ITER);
  1983. void ELT_TBL_aset_ELT(ELT_TBL_aset_ELT_frame);
  1984. BOOL TP_ROUT_is_eq_TP(TP_ROUT, TP);
  1985. BOOL TP_ITER_is_eq_TP(TP_ITER, TP);
  1986. void FSETTUPIDENTINT__2379(FSETTUPIDENTINT__2379_frame);
  1987. BOOL FSETIDENT_invari(FSETIDENT);
  1988. IDENT FSETIDENT_elt_IDENT(FSETIDENT_elt_IDENT_frame);
  1989. IDENT FSETIDENT_aelt_IDENT(FSETIDENT_aelt_IDENT_frame);
  1990. void FSETIDENT_aset_IDENT(FSETIDENT_aset_IDENT_frame);
  1991. BOOL TP_ITER_TBL_inva(TP_ITER_TBL);
  1992. TP_ITER TP_ITER_TBL_elt__2198(TP_ITER_TBL_elt__2198_frame);
  1993. TP_ITER TP_ITER_TBL_aelt(TP_ITER_TBL_aelt_frame);
  1994. void TP_ITER_TBL_aset(TP_ITER_TBL_aset_frame);
  1995. INT ARRAYIDENT_ind_INT(ARRAYIDENT_ind_INT_frame);
  1996. INT ARRAYIDENT_aind_INT(ARRAYIDENT_aind_INT_frame);
  1997. void ARRAYIDENT_set_IDENT(ARRAYIDENT_set_IDENT_frame);
  1998. void ARRAYIDENT_aset__7700(ARRAYIDENT, INT, IDENT);
  1999. void ARRAYIDENT_aset_(ARRAYIDENT_aset__frame);
  2000. void PROG_TR_TBL_aset(PROG_TR_TBL_aset_frame);
  2001. BOOL FMAPSTRSTR_invar(FMAPSTRSTR);
  2002. void TR_TYPECASE_STMT_7708(TR_TYPECASE_STMT, TR_STMT);
  2003. void TR_PROTECT_STMT__7712(TR_PROTECT_STMT, TR_STMT);
  2004. void TR_COBEGIN_STMT__7715(TR_COBEGIN_STMT, TR_STMT);
  2005. void TR_STMT_append_T_7718(TR_STMT_39, TR_STMT);
  2006. void TR_TRY_STMT_appe(TR_TRY_STMT, TR_STMT);
  2007. void TR_DIST_STMT_app(TR_DIST_STMT, TR_STMT);
  2008. void TR_LOCK_STMT_app(TR_LOCK_STMT, TR_STMT);
  2009. void TR_QUIT_STMT_app(TR_QUIT_STMT, TR_STMT);
  2010. void TR_ASSIGN_STMT_a(TR_ASSIGN_STMT, TR_STMT);
  2011. void TR_UNLOCK_STMT_a(TR_UNLOCK_STMT, TR_STMT);
  2012. void TR_YIELD_STMT_ap(TR_YIELD_STMT, TR_STMT);
  2013. void TR_RAISE_STMT_ap(TR_RAISE_STMT, TR_STMT);
  2014. void TR_LOOP_STMT_app(TR_LOOP_STMT, TR_STMT);
  2015. void TR_RETURN_STMT_a(TR_RETURN_STMT, TR_STMT);
  2016. void TR_WITH_NEAR_STM_7741(TR_WITH_NEAR_STMT, TR_STMT);
  2017. void TR_FORK_STMT_app(TR_FORK_STMT, TR_STMT);
  2018. void TR_ASSERT_STMT_a(TR_ASSERT_STMT, TR_STMT);
  2019. void TR_CASE_STMT_app(TR_CASE_STMT, TR_STMT);
  2020. void TR_DEC_STMT_appe(TR_DEC_STMT, TR_STMT);
  2021. void TR_IF_STMT_appen(TR_IF_STMT, TR_STMT);
  2022. void TR_EXPR_STMT_app(TR_EXPR_STMT, TR_STMT);
  2023. BOOL FLISTIDENT_invar(FLISTIDENT);
  2024. void FLISTIDENT_aset_(FLISTIDENT_aset__frame);
  2025. IDENT FLISTIDENT_elt_IDENT(FLISTIDENT_elt_IDENT_frame);
  2026. IDENT FLISTIDENT_aref__7764(FLISTIDENT, INT);
  2027. IDENT FLISTIDENT_aget_(FLISTIDENT, INT);
  2028. IDENT FLISTIDENT_aelt_(FLISTIDENT_aelt__frame);
  2029. BOOL FLISTTR_EXPR_inv(FLISTTR_EXPR);
  2030. void FLISTTR_EXPR_ase(FLISTTR_EXPR_ase_frame);
  2031. TR_EXPR FLISTTR_EXPR_elt(FLISTTR_EXPR_elt_frame);
  2032. TR_EXPR FLISTTR_EXPR_are_7781(FLISTTR_EXPR, INT);
  2033. TR_EXPR FLISTTR_EXPR_age(FLISTTR_EXPR, INT);
  2034. TR_EXPR FLISTTR_EXPR_ael(FLISTTR_EXPR_ael_frame);
  2035. void TR_HERE_EXPR_app(TR_HERE_EXPR, TR_EXPR);
  2036. void TR_CHAR_LIT_EXPR_7792(TR_CHAR_LIT_EXPR, TR_EXPR);
  2037. void TR_BOUND_CREATE__7795(TR_BOUND_CREATE_EXPR, TR_EXPR);
  2038. void TR_ARRAY_EXPR_ap(TR_ARRAY_EXPR, TR_EXPR);
  2039. void TR_BREAK_EXPR_ap(TR_BREAK_EXPR, TR_EXPR);
  2040. void TR_INITIAL_EXPR__7802(TR_INITIAL_EXPR, TR_EXPR);
  2041. void TR_AND_EXPR_appe(TR_AND_EXPR, TR_EXPR);
  2042. void TR_FLT_LIT_EXPR__7807(TR_FLT_LIT_EXPR, TR_EXPR);
  2043. void TR_EXCEPT_EXPR_a(TR_EXCEPT_EXPR, TR_EXPR);
  2044. void TR_BOOL_LIT_EXPR_7812(TR_BOOL_LIT_EXPR, TR_EXPR);
  2045. void TR_NEAR_EXPR_app(TR_NEAR_EXPR, TR_EXPR);
  2046. void TR_SELF_EXPR_app(TR_SELF_EXPR, TR_EXPR);
  2047. void TR_VOID_EXPR_app(TR_VOID_EXPR, TR_EXPR);
  2048. void TR_AT_EXPR_appen(TR_AT_EXPR, TR_EXPR);
  2049. void TR_NEW_EXPR_appe(TR_NEW_EXPR, TR_EXPR);
  2050. void TR_RESULT_EXPR_a(TR_RESULT_EXPR, TR_EXPR);
  2051. void TR_OR_EXPR_appen(TR_OR_EXPR, TR_EXPR);
  2052. void TR_EXPR_append_T_7829(TR_EXPR_52, TR_EXPR);
  2053. void TR_STR_LIT_EXPR__7832(TR_STR_LIT_EXPR, TR_EXPR);
  2054. void TR_CREATE_EXPR_a(TR_CREATE_EXPR, TR_EXPR);
  2055. void TR_FAR_EXPR_appe(TR_FAR_EXPR, TR_EXPR);
  2056. void TR_IS_VOID_EXPR__7839(TR_IS_VOID_EXPR, TR_EXPR);
  2057. void TR_WHERE_EXPR_ap(TR_WHERE_EXPR, TR_EXPR);
  2058. void TR_INT_LIT_EXPR__7844(TR_INT_LIT_EXPR, TR_EXPR);
  2059. void TR_UNDERSCORE_AR_7847(TR_UNDERSCORE_ARG, TR_EXPR);
  2060. void TR_CALL_EXPR_app(TR_CALL_EXPR, TR_EXPR);
  2061. void TR_ROUT_DEF_appe(TR_ROUT_DEF, TR_CLASS_ELT);
  2062. void TR_ATTR_DEF_appe(TR_ATTR_DEF, TR_CLASS_ELT);
  2063. void TR_SHARED_DEF_ap(TR_SHARED_DEF, TR_CLASS_ELT);
  2064. void TR_CONST_DEF_app(TR_CONST_DEF, TR_CLASS_ELT);
  2065. void TR_INCLUDE_CLAUS_7861(TR_INCLUDE_CLAUSE, TR_CLASS_ELT);
  2066. void TR_CLASS_ELT_app_7864(TR_CLASS_ELT_45, TR_CLASS_ELT);
  2067. void FLISTINT_aset_INT(FLISTINT_aset_INT_frame);
  2068. INT FLISTINT_elt_INT(FLISTINT_elt_INT_frame);
  2069. INT FLISTINT_aelt_IN(FLISTINT_aelt_IN_frame);
  2070. void FMAPOBSTR_aset_T(FMAPOBSTR_aset_T_frame);
  2071. INT TUPBOOLINTIINTBO_7880(TUPBOOLINTIINTBOOL);
  2072. INT TUPAM_EXPRTP_has(TUPAM_EXPRTP);
  2073. INT TUPFLISTAM_CONST_7883(TUPFLISTAM_CONST);
  2074. INT TUPOBSTR_hash_INT(TUPOBSTR);
  2075. INT TUPINTINT_hash_INT(TUPINTINT);
  2076. INT TUPAM_STMTAM_STM(TUPAM_STMTAM_STMT);
  2077. INT TUPTP_CLASSTP_CL(TUPTP_CLASSTP_CLASS);
  2078. INT TUPTPIFC_hash_INT(TUPTPIFC);
  2079. INT TUPAM_EXPRAM_EXP(TUPAM_EXPRAM_EXPR);
  2080. INT TUPIDENTARRAYTP__7891(TUPIDENTARRAYTP);
  2081. INT TUPIDENTTP_hash_INT(TUPIDENTTP);
  2082. INT CHAR_hash_INT(CHAR);
  2083. INT TUPCHARCHAR_hash_INT(TUPCHARCHAR);
  2084. INT TUPTP_CLASSFSETT_7896(TUPTP_CLASSFSETT);
  2085. INT TUPIDENTIDENT_ha(TUPIDENTIDENT);
  2086. INT TUPTPINT_hash_INT(TUPTPINT);
  2087. INT TUPTPTP_hash_INT(TUPTPTP);
  2088. INT TUPAM_ROUT_DEFAM_7901(TUPAM_ROUT_DEFAM);
  2089. INT TUPSTRFSETSTR_ha(TUPSTRFSETSTR);
  2090. INT TUPAM_LOCAL_EXPR_7904(TUPAM_LOCAL_EXPR);
  2091. INT TUPAM_BND_ITER_C_7906(TUPAM_BND_ITER_C);
  2092. INT TUPIDENTAM_GLOBA_7908(TUPIDENTAM_GLOBA);
  2093. INT TUPARRAYTPARRAYB_7910(TUPARRAYTPARRAYB);
  2094. INT TUPSIGAM_ROUT_DE_7912(TUPSIGAM_ROUT_DEF);
  2095. INT TUPTPIMPL_hash_INT(TUPTPIMPL);
  2096. INT TUPSTRSTR_hash_INT(TUPSTRSTR);
  2097. INT TUPSTRTUPSTRSTR__7916(TUPSTRTUPSTRSTR);
  2098. INT TUPAM_CONSTAM_CO(TUPAM_CONSTAM_CONST);
  2099. INT TUPARRAYTPTP_has(TUPARRAYTPTP);
  2100. INT TUPTPFMAPIDENTAM_7920(TUPTPFMAPIDENTAM);
  2101. INT TUPTR_EXPRTR_EXP(TUPTR_EXPRTR_EXPR);
  2102. INT TUPAM_ITER_CALL__7923(TUPAM_ITER_CALL_);
  2103. INT TUPSFILE_IDSFILE(TUPSFILE_IDSFILE_ID);
  2104. INT TUPINTINTINT_has(TUPINTINTINT);
  2105. INT TUPTP_CLASSFSETT_7927(TUPTP_CLASSFSETTP);
  2106. INT TUPSIGSIG_hash_INT(TUPSIGSIG);
  2107. INT FSTR_hash_INT(FSTR);
  2108. INT TUPAM_GLOBAL_EXP_7934(TUPAM_GLOBAL_EXP);
  2109. INT TUPSTRITER_INLIN_7936(TUPSTRITER_INLINE);
  2110. INT TUPIFCIFC_hash_INT(TUPIFCIFC);
  2111. INT TUPAM_BND_CREATE_7939(TUPAM_BND_CREATE);
  2112. INT TUPIMPL_INCLUDEI_7941(TUPIMPL_INCLUDEI);
  2113. void FSETTP_aset_TP(FSETTP_aset_TP_frame);
  2114. TUPSTRITER_INLINE FMAPSTRITER_INLI_1147(FMAPSTRITER_INLI_1147_frame);
  2115. TUPSTRITER_INLINE FMAPSTRITER_INLI_7949(FMAPSTRITER_INLI_7949_frame);
  2116. void FMAPSTRITER_INLI_1135(FMAPSTRITER_INLI_1135_frame);
  2117. TUPSTRTUPSTRSTR FMAPSTRTUPSTRSTR_1080(FMAPSTRTUPSTRSTR_1080_frame);
  2118. TUPSTRTUPSTRSTR FMAPSTRTUPSTRSTR_7959(FMAPSTRTUPSTRSTR_7959_frame);
  2119. void FMAPSTRTUPSTRSTR_1068(FMAPSTRTUPSTRSTR_1068_frame);
  2120. STR BE_LEX_elt_STR(BE_LEX_elt_STR_frame);
  2121. TUPSTRSTR FMAPSTRSTR_pairs(FMAPSTRSTR_pairs_frame);
  2122. TUPSTRSTR FMAPSTRSTR_aelt_(FMAPSTRSTR_aelt__frame);
  2123. TUPSTRFSETSTR FMAPSTRFSETSTR_p(FMAPSTRFSETSTR_p_frame);
  2124. BOOL FMAPSTRFSETSTR_i(FMAPSTRFSETSTR);
  2125. TUPSTRFSETSTR FMAPSTRFSETSTR_a_7979(FMAPSTRFSETSTR_a_7979_frame);
  2126. BOOL FLISTSFILE_ID_in(FLISTSFILE_ID);
  2127. void FLISTSFILE_ID_as_763(FLISTSFILE_ID_as_763_frame);
  2128. SFILE_ID FLISTSFILE_ID_el(FLISTSFILE_ID_el_frame);
  2129. SFILE_ID FLISTSFILE_ID_ae(FLISTSFILE_ID_ae_frame);
  2130. void STR_aset_CHAR(STR_aset_CHAR_frame);
  2131. void FMAPSTRSTR_aset_(FMAPSTRSTR_aset__frame);
  2132. void FMAPSTRFSETSTR_a_549(FMAPSTRFSETSTR_a_549_frame);
  2133. CHAR STR_elt_INT_CHAR(STR_elt_INT_CHAR_frame);
  2134. CHAR STR_aelt_INT_CHAR(STR_aelt_INT_CHAR_frame);
  2135. void ARRAYSTR_aset_IN_497(ARRAYSTR_aset_IN_497_frame);
  2136. void ARRAYSTR_aset_STR(ARRAYSTR_aset_STR_frame);
  2137. void ARRAYSTR_set_STR(ARRAYSTR_set_STR_frame);
  2138. void ARRAYSTR_aset_IN(ARRAYSTR_aset_IN_frame);
  2139. STR ARRAYSTR_aelt_IN(ARRAYSTR_aelt_IN_frame);
  2140. void FLISTSTR_aset_STR(FLISTSTR_aset_STR_frame);
  2141. void FSETSTR_aset_STR(FSETSTR_aset_STR_frame);
  2142. void STR_aset_INT_INT(STR_aset_INT_INT_frame);
  2143. CHAR STR_aelt_INT_INT(STR_aelt_INT_INT_frame);
  2144. INT TP_CLASS_hash_INT(TP_CLASS);
  2145. INT TP_ROUT_hash_INT(TP_ROUT);
  2146. INT TP_ITER_hash_INT(TP_ITER);
  2147. SIG INLINE_ROUT_sig_SIG(INLINE_ROUT);
  2148. INLINE INLINE_TBL_elt_I(INLINE_TBL_elt_I_frame);
  2149. INLINE INLINE_TBL_aelt_(INLINE_TBL_aelt__frame);
  2150. void INLINE_TBL_aset_(INLINE_TBL_aset__frame);
  2151. void TP_ROUT_TBL_aset(TP_ROUT_TBL_aset_frame);
  2152. void TP_CLASS_TBL_ase(TP_CLASS_TBL_ase_frame);
  2153. BOOL TP_CLASS_is_neq_(TP_CLASS, TP);
  2154. BOOL TP_ROUT_is_neq_T(TP_ROUT, TP);
  2155. BOOL TP_ITER_is_neq_T(TP_ITER, TP);
  2156. BOOL IDENT_TBL_invari(IDENT_TBL);
  2157. IDENT IDENT_TBL_elt_IDENT(IDENT_TBL_elt_IDENT_frame);
  2158. IDENT IDENT_TBL_aelt_IDENT(IDENT_TBL_aelt_IDENT_frame);
  2159. void IDENT_TBL_aset_IDENT(IDENT_TBL_aset_IDENT_frame);
  2160. SIG INLINE_INT_FOLD__8352(INLINE_INT_FOLD);
  2161. SIG INLINE_ATTR_READ_8353(INLINE_ATTR_READ);
  2162. SIG INLINE_GLOBAL_RE_8354(INLINE_GLOBAL_READ);
  2163. SIG INLINE_ATTR_WRIT_8355(INLINE_ATTR_WRITE);
  2164. SIG INLINE_VATTR_REA_8356(INLINE_VATTR_READ);
  2165. SIG INLINE_VARR_READ_8357(INLINE_VARR_READ);
  2166. SIG INLINE_ARR_READ__8358(INLINE_ARR_READ);
  2167. SIG INLINE_VATTR_WRI_8359(INLINE_VATTR_WRITE);
  2168. SIG INLINE_ARR_WRITE_8360(INLINE_ARR_WRITE);
  2169. SIG INLINE_VARR_WRIT_8361(INLINE_VARR_WRITE);
  2170. SIG INLINE_BUILTIN_s(INLINE_BUILTIN);
  2171. SFILE_ID TR_CLASS_DEF_sou(TR_CLASS_DEF);
  2172. SFILE_ID TR_PARAM_DEC_sou(TR_PARAM_DEC);
  2173. SFILE_ID TR_TYPE_SPEC_sou(TR_TYPE_SPEC);
  2174. SFILE_ID TR_ROUT_DEF_sour(TR_ROUT_DEF);
  2175. SFILE_ID TR_ARG_DEC_sourc(TR_ARG_DEC);
  2176. SFILE_ID TR_INCLUDE_CLAUS_8362(TR_INCLUDE_CLAUSE);
  2177. SFILE_ID TR_FEAT_MOD_sour(TR_FEAT_MOD);
  2178. SFILE_ID TR_CONST_DEF_sou(TR_CONST_DEF);
  2179. SFILE_ID TR_INT_LIT_EXPR__8363(TR_INT_LIT_EXPR);
  2180. SFILE_ID TR_FLT_LIT_EXPR__8364(TR_FLT_LIT_EXPR);
  2181. SFILE_ID TR_CALL_EXPR_sou(TR_CALL_EXPR);
  2182. SFILE_ID TR_SELF_EXPR_sou(TR_SELF_EXPR);
  2183. SFILE_ID TR_IS_VOID_EXPR__8365(TR_IS_VOID_EXPR);
  2184. SFILE_ID TR_VOID_EXPR_sou(TR_VOID_EXPR);
  2185. SFILE_ID TR_NEW_EXPR_sour(TR_NEW_EXPR);
  2186. SFILE_ID TR_BOUND_CREATE__8366(TR_BOUND_CREATE_EXPR);
  2187. SFILE_ID TR_UNDERSCORE_AR_8367(TR_UNDERSCORE_ARG);
  2188. SFILE_ID TR_CREATE_EXPR_s_8368(TR_CREATE_EXPR);
  2189. SFILE_ID TR_ARRAY_EXPR_so(TR_ARRAY_EXPR);
  2190. SFILE_ID TR_EXCEPT_EXPR_s_8369(TR_EXCEPT_EXPR);
  2191. SFILE_ID TR_INITIAL_EXPR__8370(TR_INITIAL_EXPR);
  2192. SFILE_ID TR_RESULT_EXPR_s_8371(TR_RESULT_EXPR);
  2193. SFILE_ID TR_BOOL_LIT_EXPR_8372(TR_BOOL_LIT_EXPR);
  2194. SFILE_ID TR_CHAR_LIT_EXPR_8373(TR_CHAR_LIT_EXPR);
  2195. SFILE_ID TR_STR_LIT_EXPR__8374(TR_STR_LIT_EXPR);
  2196. SFILE_ID TR_HERE_EXPR_sou(TR_HERE_EXPR);
  2197. SFILE_ID TR_WHERE_EXPR_so(TR_WHERE_EXPR);
  2198. SFILE_ID TR_NEAR_EXPR_sou(TR_NEAR_EXPR);
  2199. SFILE_ID TR_FAR_EXPR_sour(TR_FAR_EXPR);
  2200. SFILE_ID TR_AND_EXPR_sour(TR_AND_EXPR);
  2201. SFILE_ID TR_OR_EXPR_sourc(TR_OR_EXPR);
  2202. SFILE_ID TR_AT_EXPR_sourc(TR_AT_EXPR);
  2203. SFILE_ID TR_SHARED_DEF_so(TR_SHARED_DEF);
  2204. SFILE_ID TR_ATTR_DEF_sour(TR_ATTR_DEF);
  2205. SFILE_ID TR_IF_STMT_sourc(TR_IF_STMT);
  2206. SFILE_ID TR_LOOP_STMT_sou(TR_LOOP_STMT);
  2207. SFILE_ID TR_RETURN_STMT_s(TR_RETURN_STMT);
  2208. SFILE_ID TR_YIELD_STMT_so(TR_YIELD_STMT);
  2209. SFILE_ID TR_QUIT_STMT_sou(TR_QUIT_STMT);
  2210. SFILE_ID TR_CASE_STMT_sou(TR_CASE_STMT);
  2211. SFILE_ID TR_CASE_WHEN_sou(TR_CASE_WHEN);
  2212. SFILE_ID TR_TYPECASE_STMT_8375(TR_TYPECASE_STMT);
  2213. SFILE_ID TR_TYPECASE_WHEN_8376(TR_TYPECASE_WHEN);
  2214. SFILE_ID TR_ASSERT_STMT_s(TR_ASSERT_STMT);
  2215. SFILE_ID TR_PROTECT_STMT__8377(TR_PROTECT_STMT);
  2216. SFILE_ID TR_PROTECT_WHEN__8378(TR_PROTECT_WHEN);
  2217. SFILE_ID TR_RAISE_STMT_so(TR_RAISE_STMT);
  2218. SFILE_ID TR_COBEGIN_STMT__8379(TR_COBEGIN_STMT);
  2219. SFILE_ID TR_LOCK_STMT_sou(TR_LOCK_STMT);
  2220. SFILE_ID TR_UNLOCK_STMT_s(TR_UNLOCK_STMT);
  2221. SFILE_ID TR_TRY_STMT_sour(TR_TRY_STMT);
  2222. SFILE_ID TR_WITH_NEAR_STM_8380(TR_WITH_NEAR_STMT);
  2223. SFILE_ID TR_IDENT_LIST_so(TR_IDENT_LIST);
  2224. SFILE_ID TR_DIST_STMT_sou(TR_DIST_STMT);
  2225. SFILE_ID TR_FORK_STMT_sou(TR_FORK_STMT);
  2226. SFILE_ID TR_EXPR_STMT_sou(TR_EXPR_STMT);
  2227. SFILE_ID TR_BREAK_EXPR_so(TR_BREAK_EXPR);
  2228. SFILE_ID TR_ASSIGN_STMT_s(TR_ASSIGN_STMT);
  2229. SFILE_ID TR_DEC_STMT_sour(TR_DEC_STMT);
  2230. SFILE_ID AM_LOCAL_EXPR_so(AM_LOCAL_EXPR);
  2231. SFILE_ID AM_BND_CREATE_EX_8381(AM_BND_CREATE_EXPR);
  2232. SFILE_ID AM_GLOBAL_EXPR_s(AM_GLOBAL_EXPR);
  2233. SFILE_ID AM_LOOP_STMT_sou(AM_LOOP_STMT);
  2234. SFILE_ID AM_STR_CONST_sou(AM_STR_CONST);
  2235. SFILE_ID AM_OB_DEF_source(AM_OB_DEF);
  2236. SFILE_ID AM_ROUT_DEF_sour(AM_ROUT_DEF);
  2237. SFILE_ID AM_ARRAY_EXPR_so(AM_ARRAY_EXPR);
  2238. SFILE_ID AM_IF_EXPR_sourc(AM_IF_EXPR);
  2239. SFILE_ID AM_NEW_EXPR_sour(AM_NEW_EXPR);
  2240. SFILE_ID AM_IS_VOID_EXPR__8382(AM_IS_VOID_EXPR);
  2241. SFILE_ID AM_ATTR_EXPR_sou(AM_ATTR_EXPR);
  2242. SFILE_ID AM_ARR_EXPR_sour(AM_ARR_EXPR);
  2243. SFILE_ID AM_VATTR_ASSIGN__8383(AM_VATTR_ASSIGN_EXPR);
  2244. SFILE_ID AM_VARR_ASSIGN_E_8384(AM_VARR_ASSIGN_EXPR);
  2245. SFILE_ID AM_EXCEPT_EXPR_s(AM_EXCEPT_EXPR);
  2246. SFILE_ID AM_STMT_EXPR_sou(AM_STMT_EXPR);
  2247. SFILE_ID AM_ROUT_CALL_EXP_8385(AM_ROUT_CALL_EXPR);
  2248. SFILE_ID AM_ITER_CALL_EXP_8386(AM_ITER_CALL_EXPR);
  2249. SFILE_ID AM_BND_ROUT_CALL_8387(AM_BND_ROUT_CALL);
  2250. SFILE_ID AM_BND_ITER_CALL_8388(AM_BND_ITER_CALL);
  2251. SFILE_ID AM_EXT_CALL_EXPR_8389(AM_EXT_CALL_EXPR);
  2252. SFILE_ID AM_VOID_CONST_so(AM_VOID_CONST);
  2253. SFILE_ID AM_ARR_CONST_sou(AM_ARR_CONST);
  2254. SFILE_ID AM_BOOL_CONST_so(AM_BOOL_CONST);
  2255. SFILE_ID AM_CHAR_CONST_so(AM_CHAR_CONST);
  2256. SFILE_ID AM_INT_CONST_sou(AM_INT_CONST);
  2257. SFILE_ID AM_INTI_CONST_so(AM_INTI_CONST);
  2258. SFILE_ID AM_FLT_CONST_sou(AM_FLT_CONST);
  2259. SFILE_ID AM_FLTD_CONST_so(AM_FLTD_CONST);
  2260. SFILE_ID AM_FLTX_CONST_so(AM_FLTX_CONST);
  2261. SFILE_ID AM_FLTDX_CONST_s(AM_FLTDX_CONST);
  2262. SFILE_ID AM_FLTI_CONST_so(AM_FLTI_CONST);
  2263. SFILE_ID AM_ASSIGN_STMT_s(AM_ASSIGN_STMT);
  2264. SFILE_ID AM_IF_STMT_sourc(AM_IF_STMT);
  2265. SFILE_ID AM_BREAK_STMT_so(AM_BREAK_STMT);
  2266. SFILE_ID AM_RETURN_STMT_s(AM_RETURN_STMT);
  2267. SFILE_ID AM_YIELD_STMT_so(AM_YIELD_STMT);
  2268. SFILE_ID AM_CASE_STMT_sou(AM_CASE_STMT);
  2269. SFILE_ID AM_TYPECASE_STMT_8390(AM_TYPECASE_STMT);
  2270. SFILE_ID AM_PRE_STMT_sour(AM_PRE_STMT);
  2271. SFILE_ID AM_POST_STMT_sou(AM_POST_STMT);
  2272. SFILE_ID AM_INITIAL_STMT__8391(AM_INITIAL_STMT);
  2273. SFILE_ID AM_ASSERT_STMT_s(AM_ASSERT_STMT);
  2274. SFILE_ID AM_INVARIANT_STM_8392(AM_INVARIANT_STMT);
  2275. SFILE_ID AM_PROTECT_STMT__8393(AM_PROTECT_STMT);
  2276. SFILE_ID AM_RAISE_STMT_so(AM_RAISE_STMT);
  2277. SFILE_ID AM_EXPR_STMT_sou(AM_EXPR_STMT);
  2278. SFILE_ID TR_CLASS_ELT_sou_8394(TR_CLASS_ELT_45);
  2279. SFILE_ID TR_EXPR_source_S_8395(TR_EXPR_52);
  2280. SFILE_ID AM_CONST_source_(AM_CONST_53);
  2281. SFILE_ID TR_STMT_source_S_8396(TR_STMT_39);
  2282. INT TUPBOOLINTIINTBO_7880_unbox(TUPBOOLINTIINTBOOL_boxed);
  2283. INT TUPAM_EXPRTP_has_unbox(TUPAM_EXPRTP_boxed);
  2284. INT TUPFLISTAM_CONST_7883_unbox(TUPFLISTAM_CONST_boxed);
  2285. INT TUPOBSTR_hash_INT_unbox(TUPOBSTR_boxed);
  2286. INT TUPINTINT_hash_INT_unbox(TUPINTINT_boxed);
  2287. INT TUPAM_STMTAM_STM_unbox(TUPAM_STMTAM_STMT_boxed);
  2288. INT TUPTP_CLASSTP_CL_unbox(TUPTP_CLASSTP_CLASS_boxed);
  2289. INT TUPTPIFC_hash_INT_unbox(TUPTPIFC_boxed);
  2290. INT TUPAM_EXPRAM_EXP_unbox(TUPAM_EXPRAM_EXPR_boxed);
  2291. INT TUPIDENTARRAYTP__7891_unbox(TUPIDENTARRAYTP_boxed);
  2292. INT TUPIDENTTP_hash_INT_unbox(TUPIDENTTP_boxed);
  2293. INT TUPCHARCHAR_hash_INT_unbox(TUPCHARCHAR_boxed);
  2294. INT TUPTP_CLASSFSETT_7896_unbox(TUPTP_CLASSFSETT_boxed);
  2295. INT TUPIDENTIDENT_ha_unbox(TUPIDENTIDENT_boxed);
  2296. INT TUPIDENTINT_hash_INT_unbox(TUPIDENTINT_boxed);
  2297. INT TUPTPINT_hash_INT_unbox(TUPTPINT_boxed);
  2298. INT TUPTPTP_hash_INT_unbox(TUPTPTP_boxed);
  2299. INT TUPAM_ROUT_DEFAM_7901_unbox(TUPAM_ROUT_DEFAM_boxed);
  2300. INT TUPSTRFSETSTR_ha_unbox(TUPSTRFSETSTR_boxed);
  2301. INT TUPAM_LOCAL_EXPR_7904_unbox(TUPAM_LOCAL_EXPR_boxed);
  2302. INT TUPAM_BND_ITER_C_7906_unbox(TUPAM_BND_ITER_C_boxed);
  2303. INT TUPIDENTAM_GLOBA_7908_unbox(TUPIDENTAM_GLOBA_boxed);
  2304. INT TUPARRAYTPARRAYB_7910_unbox(TUPARRAYTPARRAYB_boxed);
  2305. INT TUPSIGAM_ROUT_DE_7912_unbox(TUPSIGAM_ROUT_DEF_boxed);
  2306. INT TUPTPIMPL_hash_INT_unbox(TUPTPIMPL_boxed);
  2307. INT TUPSTRTUPSTRSTR__7916_unbox(TUPSTRTUPSTRSTR_boxed);
  2308. INT TUPAM_CONSTAM_CO_unbox(TUPAM_CONSTAM_CONST_boxed);
  2309. INT TUPARRAYTPTP_has_unbox(TUPARRAYTPTP_boxed);
  2310. INT TUPTPFMAPIDENTAM_7920_unbox(TUPTPFMAPIDENTAM_boxed);
  2311. INT TUPTR_EXPRTR_EXP_unbox(TUPTR_EXPRTR_EXPR_boxed);
  2312. INT TUPAM_ITER_CALL__7923_unbox(TUPAM_ITER_CALL__boxed);
  2313. INT TUPSFILE_IDSFILE_unbox(TUPSFILE_IDSFILE_ID_boxed);
  2314. INT TUPINTINTINT_has_unbox(TUPINTINTINT_boxed);
  2315. INT TUPSTRSTR_hash_INT_unbox(TUPSTRSTR_boxed);
  2316. INT TUPTP_CLASSFSETT_7927_unbox(TUPTP_CLASSFSETTP_boxed);
  2317. INT INT_hash_INT_unbox(INT_boxed);
  2318. INT CHAR_hash_INT_unbox(CHAR_boxed);
  2319. INT TUPSIGSIG_hash_INT_unbox(TUPSIGSIG_boxed);
  2320. INT TUPAM_GLOBAL_EXP_7934_unbox(TUPAM_GLOBAL_EXP_boxed);
  2321. INT TUPSTRITER_INLIN_7936_unbox(TUPSTRITER_INLINE_boxed);
  2322. INT TUPIFCIFC_hash_INT_unbox(TUPIFCIFC_boxed);
  2323. INT TUPAM_BND_CREATE_7939_unbox(TUPAM_BND_CREATE_boxed);
  2324. INT TUPIMPL_INCLUDEI_7941_unbox(TUPIMPL_INCLUDEI_boxed);
  2325. INT IDENT_hash_INT_unbox(IDENT_boxed);
  2326. void TR_INT_LIT_EXPR__8397(TR_INT_LIT_EXPR, SFILE_ID);
  2327. void TR_FLT_LIT_EXPR__8399(TR_FLT_LIT_EXPR, SFILE_ID);
  2328. void TR_CALL_EXPR_sou_8401(TR_CALL_EXPR, SFILE_ID);
  2329. void TR_SELF_EXPR_sou_8403(TR_SELF_EXPR, SFILE_ID);
  2330. void TR_IS_VOID_EXPR__8405(TR_IS_VOID_EXPR, SFILE_ID);
  2331. void TR_VOID_EXPR_sou_8407(TR_VOID_EXPR, SFILE_ID);
  2332. void TR_NEW_EXPR_sour_8409(TR_NEW_EXPR, SFILE_ID);
  2333. void TR_BOUND_CREATE__8411(TR_BOUND_CREATE_EXPR, SFILE_ID);
  2334. void TR_UNDERSCORE_AR_8413(TR_UNDERSCORE_ARG, SFILE_ID);
  2335. void TR_CREATE_EXPR_s_8415(TR_CREATE_EXPR, SFILE_ID);
  2336. void TR_ARRAY_EXPR_so_8417(TR_ARRAY_EXPR, SFILE_ID);
  2337. void TR_EXCEPT_EXPR_s_8419(TR_EXCEPT_EXPR, SFILE_ID);
  2338. void TR_INITIAL_EXPR__8421(TR_INITIAL_EXPR, SFILE_ID);
  2339. void TR_RESULT_EXPR_s_8423(TR_RESULT_EXPR, SFILE_ID);
  2340. void TR_BOOL_LIT_EXPR_8425(TR_BOOL_LIT_EXPR, SFILE_ID);
  2341. void TR_CHAR_LIT_EXPR_8427(TR_CHAR_LIT_EXPR, SFILE_ID);
  2342. void TR_STR_LIT_EXPR__8429(TR_STR_LIT_EXPR, SFILE_ID);
  2343. void TR_HERE_EXPR_sou_8431(TR_HERE_EXPR, SFILE_ID);
  2344. void TR_WHERE_EXPR_so_8433(TR_WHERE_EXPR, SFILE_ID);
  2345. void TR_NEAR_EXPR_sou_8435(TR_NEAR_EXPR, SFILE_ID);
  2346. void TR_FAR_EXPR_sour_8437(TR_FAR_EXPR, SFILE_ID);
  2347. void TR_AND_EXPR_sour_8439(TR_AND_EXPR, SFILE_ID);
  2348. void TR_OR_EXPR_sourc_8441(TR_OR_EXPR, SFILE_ID);
  2349. void TR_AT_EXPR_sourc_8443(TR_AT_EXPR, SFILE_ID);
  2350. void TR_BREAK_EXPR_so_8445(TR_BREAK_EXPR, SFILE_ID);
  2351. void TR_EXPR_source_S_8447(TR_EXPR_52, SFILE_ID);
  2352. TR_EXPR TR_INT_LIT_EXPR__8449(TR_INT_LIT_EXPR);
  2353. TR_EXPR TR_FLT_LIT_EXPR__8450(TR_FLT_LIT_EXPR);
  2354. TR_EXPR TR_CALL_EXPR_nex(TR_CALL_EXPR);
  2355. TR_EXPR TR_SELF_EXPR_nex(TR_SELF_EXPR);
  2356. TR_EXPR TR_IS_VOID_EXPR__8451(TR_IS_VOID_EXPR);
  2357. TR_EXPR TR_VOID_EXPR_nex(TR_VOID_EXPR);
  2358. TR_EXPR TR_NEW_EXPR_next(TR_NEW_EXPR);
  2359. TR_EXPR TR_BOUND_CREATE__8452(TR_BOUND_CREATE_EXPR);
  2360. TR_EXPR TR_UNDERSCORE_AR_8453(TR_UNDERSCORE_ARG);
  2361. TR_EXPR TR_CREATE_EXPR_n(TR_CREATE_EXPR);
  2362. TR_EXPR TR_ARRAY_EXPR_ne(TR_ARRAY_EXPR);
  2363. TR_EXPR TR_EXCEPT_EXPR_n(TR_EXCEPT_EXPR);
  2364. TR_EXPR TR_INITIAL_EXPR__8454(TR_INITIAL_EXPR);
  2365. TR_EXPR TR_RESULT_EXPR_n(TR_RESULT_EXPR);
  2366. TR_EXPR TR_BOOL_LIT_EXPR_8455(TR_BOOL_LIT_EXPR);
  2367. TR_EXPR TR_CHAR_LIT_EXPR_8456(TR_CHAR_LIT_EXPR);
  2368. TR_EXPR TR_STR_LIT_EXPR__8457(TR_STR_LIT_EXPR);
  2369. TR_EXPR TR_HERE_EXPR_nex(TR_HERE_EXPR);
  2370. TR_EXPR TR_WHERE_EXPR_ne(TR_WHERE_EXPR);
  2371. TR_EXPR TR_NEAR_EXPR_nex(TR_NEAR_EXPR);
  2372. TR_EXPR TR_FAR_EXPR_next(TR_FAR_EXPR);
  2373. TR_EXPR TR_AND_EXPR_next(TR_AND_EXPR);
  2374. TR_EXPR TR_OR_EXPR_next_(TR_OR_EXPR);
  2375. TR_EXPR TR_AT_EXPR_next_(TR_AT_EXPR);
  2376. TR_EXPR TR_BREAK_EXPR_ne(TR_BREAK_EXPR);
  2377. TR_EXPR TR_EXPR_next_TR__8458(TR_EXPR_52);
  2378. TR_CLASS_ELT TR_ROUT_DEF_next(TR_ROUT_DEF);
  2379. TR_CLASS_ELT TR_INCLUDE_CLAUS_8459(TR_INCLUDE_CLAUSE);
  2380. TR_CLASS_ELT TR_CONST_DEF_nex(TR_CONST_DEF);
  2381. TR_CLASS_ELT TR_SHARED_DEF_ne(TR_SHARED_DEF);
  2382. TR_CLASS_ELT TR_ATTR_DEF_next(TR_ATTR_DEF);
  2383. TR_CLASS_ELT TR_CLASS_ELT_nex_8460(TR_CLASS_ELT_45);
  2384. void TR_IF_STMT_sourc_8461(TR_IF_STMT, SFILE_ID);
  2385. void TR_LOOP_STMT_sou_8463(TR_LOOP_STMT, SFILE_ID);
  2386. void TR_RETURN_STMT_s_8465(TR_RETURN_STMT, SFILE_ID);
  2387. void TR_YIELD_STMT_so_8467(TR_YIELD_STMT, SFILE_ID);
  2388. void TR_QUIT_STMT_sou_8469(TR_QUIT_STMT, SFILE_ID);
  2389. void TR_CASE_STMT_sou_8471(TR_CASE_STMT, SFILE_ID);
  2390. void TR_TYPECASE_STMT_8473(TR_TYPECASE_STMT, SFILE_ID);
  2391. void TR_ASSERT_STMT_s_8475(TR_ASSERT_STMT, SFILE_ID);
  2392. void TR_PROTECT_STMT__8477(TR_PROTECT_STMT, SFILE_ID);
  2393. void TR_RAISE_STMT_so_8479(TR_RAISE_STMT, SFILE_ID);
  2394. void TR_COBEGIN_STMT__8481(TR_COBEGIN_STMT, SFILE_ID);
  2395. void TR_LOCK_STMT_sou_8483(TR_LOCK_STMT, SFILE_ID);
  2396. void TR_UNLOCK_STMT_s_8485(TR_UNLOCK_STMT, SFILE_ID);
  2397. void TR_TRY_STMT_sour_8487(TR_TRY_STMT, SFILE_ID);
  2398. void TR_WITH_NEAR_STM_8489(TR_WITH_NEAR_STMT, SFILE_ID);
  2399. void TR_DIST_STMT_sou_8491(TR_DIST_STMT, SFILE_ID);
  2400. void TR_FORK_STMT_sou_8493(TR_FORK_STMT, SFILE_ID);
  2401. void TR_EXPR_STMT_sou_8495(TR_EXPR_STMT, SFILE_ID);
  2402. void TR_ASSIGN_STMT_s_8497(TR_ASSIGN_STMT, SFILE_ID);
  2403. void TR_DEC_STMT_sour_8499(TR_DEC_STMT, SFILE_ID);
  2404. void TR_STMT_source_S_8501(TR_STMT_39, SFILE_ID);
  2405. TR_STMT TR_IF_STMT_next_(TR_IF_STMT);
  2406. TR_STMT TR_LOOP_STMT_nex(TR_LOOP_STMT);
  2407. TR_STMT TR_RETURN_STMT_n(TR_RETURN_STMT);
  2408. TR_STMT TR_YIELD_STMT_ne(TR_YIELD_STMT);
  2409. TR_STMT TR_QUIT_STMT_nex(TR_QUIT_STMT);
  2410. TR_STMT TR_CASE_STMT_nex(TR_CASE_STMT);
  2411. TR_STMT TR_TYPECASE_STMT_8503(TR_TYPECASE_STMT);
  2412. TR_STMT TR_ASSERT_STMT_n(TR_ASSERT_STMT);
  2413. TR_STMT TR_PROTECT_STMT__8504(TR_PROTECT_STMT);
  2414. TR_STMT TR_RAISE_STMT_ne(TR_RAISE_STMT);
  2415. TR_STMT TR_COBEGIN_STMT__8505(TR_COBEGIN_STMT);
  2416. TR_STMT TR_LOCK_STMT_nex(TR_LOCK_STMT);
  2417. TR_STMT TR_UNLOCK_STMT_n(TR_UNLOCK_STMT);
  2418. TR_STMT TR_TRY_STMT_next(TR_TRY_STMT);
  2419. TR_STMT TR_WITH_NEAR_STM_8506(TR_WITH_NEAR_STMT);
  2420. TR_STMT TR_DIST_STMT_nex(TR_DIST_STMT);
  2421. TR_STMT TR_FORK_STMT_nex(TR_FORK_STMT);
  2422. TR_STMT TR_EXPR_STMT_nex(TR_EXPR_STMT);
  2423. TR_STMT TR_ASSIGN_STMT_n(TR_ASSIGN_STMT);
  2424. TR_STMT TR_DEC_STMT_next(TR_DEC_STMT);
  2425. TR_STMT TR_STMT_next_TR__8507(TR_STMT_39);
  2426. PROG TP_CLASS_prog_PROG(TP_CLASS);
  2427. PROG TP_ROUT_prog_PROG(TP_ROUT);
  2428. PROG TP_ITER_prog_PROG(TP_ITER);
  2429. BOOL TR_ROUT_DEF_is_p(TR_ROUT_DEF);
  2430. BOOL TR_INCLUDE_CLAUS_8508(TR_INCLUDE_CLAUSE);
  2431. BOOL TR_CONST_DEF_is_(TR_CONST_DEF);
  2432. BOOL TR_SHARED_DEF_is(TR_SHARED_DEF);
  2433. BOOL TR_ATTR_DEF_is_p(TR_ATTR_DEF);
  2434. BOOL TR_CLASS_ELT_is__8509(TR_CLASS_ELT_45);
  2435. INT TP_ROUT_kind_INT(TP_ROUT);
  2436. INT TP_ITER_kind_INT(TP_ITER);
  2437. AM_STMT AM_LOOP_STMT_nex(AM_LOOP_STMT);
  2438. AM_STMT AM_ASSIGN_STMT_n(AM_ASSIGN_STMT);
  2439. AM_STMT AM_IF_STMT_next_(AM_IF_STMT);
  2440. AM_STMT AM_BREAK_STMT_ne(AM_BREAK_STMT);
  2441. AM_STMT AM_RETURN_STMT_n(AM_RETURN_STMT);
  2442. AM_STMT AM_YIELD_STMT_ne(AM_YIELD_STMT);
  2443. AM_STMT AM_CASE_STMT_nex(AM_CASE_STMT);
  2444. AM_STMT AM_TYPECASE_STMT_8512(AM_TYPECASE_STMT);
  2445. AM_STMT AM_PRE_STMT_next(AM_PRE_STMT);
  2446. AM_STMT AM_POST_STMT_nex(AM_POST_STMT);
  2447. AM_STMT AM_INITIAL_STMT__8513(AM_INITIAL_STMT);
  2448. AM_STMT AM_ASSERT_STMT_n(AM_ASSERT_STMT);
  2449. AM_STMT AM_INVARIANT_STM_8514(AM_INVARIANT_STMT);
  2450. AM_STMT AM_PROTECT_STMT__8515(AM_PROTECT_STMT);
  2451. AM_STMT AM_RAISE_STMT_ne(AM_RAISE_STMT);
  2452. AM_STMT AM_EXPR_STMT_nex(AM_EXPR_STMT);
  2453. TP AM_LOCAL_EXPR_tp_TP(AM_LOCAL_EXPR);
  2454. TP AM_BND_CREATE_EX_8517(AM_BND_CREATE_EXPR);
  2455. TP AM_GLOBAL_EXPR_tp_TP(AM_GLOBAL_EXPR);
  2456. TP AM_STR_CONST_tp_TP(AM_STR_CONST);
  2457. TP AM_ARRAY_EXPR_tp_TP(AM_ARRAY_EXPR);
  2458. TP AM_IF_EXPR_tp_TP(AM_IF_EXPR);
  2459. TP AM_NEW_EXPR_tp_TP(AM_NEW_EXPR);
  2460. TP AM_IS_VOID_EXPR__8524(AM_IS_VOID_EXPR);
  2461. TP AM_ATTR_EXPR_tp_TP(AM_ATTR_EXPR);
  2462. TP AM_ARR_EXPR_tp_TP(AM_ARR_EXPR);
  2463. TP AM_EXCEPT_EXPR_tp_TP(AM_EXCEPT_EXPR);
  2464. TP AM_VOID_CONST_tp_TP(AM_VOID_CONST);
  2465. TP AM_ARR_CONST_tp_TP(AM_ARR_CONST);
  2466. TP AM_BOOL_CONST_tp_TP(AM_BOOL_CONST);
  2467. TP AM_CHAR_CONST_tp_TP(AM_CHAR_CONST);
  2468. TP AM_INT_CONST_tp_TP(AM_INT_CONST);
  2469. TP AM_INTI_CONST_tp_TP(AM_INTI_CONST);
  2470. TP AM_FLT_CONST_tp_TP(AM_FLT_CONST);
  2471. TP AM_FLTD_CONST_tp_TP(AM_FLTD_CONST);
  2472. TP AM_FLTX_CONST_tp_TP(AM_FLTX_CONST);
  2473. TP AM_FLTDX_CONST_tp_TP(AM_FLTDX_CONST);
  2474. TP AM_FLTI_CONST_tp_TP(AM_FLTI_CONST);
  2475. TP AM_CONST_tp_TP(AM_CONST_53);
  2476. void TR_INT_LIT_EXPR__8541(TR_INT_LIT_EXPR, TR_EXPR);
  2477. void TR_FLT_LIT_EXPR__8543(TR_FLT_LIT_EXPR, TR_EXPR);
  2478. void TR_CALL_EXPR_nex_8545(TR_CALL_EXPR, TR_EXPR);
  2479. void TR_SELF_EXPR_nex_8547(TR_SELF_EXPR, TR_EXPR);
  2480. void TR_IS_VOID_EXPR__8549(TR_IS_VOID_EXPR, TR_EXPR);
  2481. void TR_VOID_EXPR_nex_8551(TR_VOID_EXPR, TR_EXPR);
  2482. void TR_NEW_EXPR_next_8553(TR_NEW_EXPR, TR_EXPR);
  2483. void TR_BOUND_CREATE__8555(TR_BOUND_CREATE_EXPR, TR_EXPR);
  2484. void TR_UNDERSCORE_AR_8557(TR_UNDERSCORE_ARG, TR_EXPR);
  2485. void TR_CREATE_EXPR_n_8559(TR_CREATE_EXPR, TR_EXPR);
  2486. void TR_ARRAY_EXPR_ne_8561(TR_ARRAY_EXPR, TR_EXPR);
  2487. void TR_EXCEPT_EXPR_n_8563(TR_EXCEPT_EXPR, TR_EXPR);
  2488. void TR_INITIAL_EXPR__8565(TR_INITIAL_EXPR, TR_EXPR);
  2489. void TR_RESULT_EXPR_n_8567(TR_RESULT_EXPR, TR_EXPR);
  2490. void TR_BOOL_LIT_EXPR_8569(TR_BOOL_LIT_EXPR, TR_EXPR);
  2491. void TR_CHAR_LIT_EXPR_8571(TR_CHAR_LIT_EXPR, TR_EXPR);
  2492. void TR_STR_LIT_EXPR__8573(TR_STR_LIT_EXPR, TR_EXPR);
  2493. void TR_HERE_EXPR_nex_8575(TR_HERE_EXPR, TR_EXPR);
  2494. void TR_WHERE_EXPR_ne_8577(TR_WHERE_EXPR, TR_EXPR);
  2495. void TR_NEAR_EXPR_nex_8579(TR_NEAR_EXPR, TR_EXPR);
  2496. void TR_FAR_EXPR_next_8581(TR_FAR_EXPR, TR_EXPR);
  2497. void TR_AND_EXPR_next_8583(TR_AND_EXPR, TR_EXPR);
  2498. void TR_OR_EXPR_next__8585(TR_OR_EXPR, TR_EXPR);
  2499. void TR_AT_EXPR_next__8587(TR_AT_EXPR, TR_EXPR);
  2500. void TR_BREAK_EXPR_ne_8589(TR_BREAK_EXPR, TR_EXPR);
  2501. void TR_EXPR_next_TR__8591(TR_EXPR_52, TR_EXPR);
  2502. void AM_LOOP_STMT_nex_8593(AM_LOOP_STMT, AM_STMT);
  2503. void AM_ASSIGN_STMT_n_8595(AM_ASSIGN_STMT, AM_STMT);
  2504. void AM_IF_STMT_next__8597(AM_IF_STMT, AM_STMT);
  2505. void AM_BREAK_STMT_ne_8599(AM_BREAK_STMT, AM_STMT);
  2506. void AM_RETURN_STMT_n_8601(AM_RETURN_STMT, AM_STMT);
  2507. void AM_YIELD_STMT_ne_8603(AM_YIELD_STMT, AM_STMT);
  2508. void AM_CASE_STMT_nex_8605(AM_CASE_STMT, AM_STMT);
  2509. void AM_TYPECASE_STMT_8607(AM_TYPECASE_STMT, AM_STMT);
  2510. void AM_PRE_STMT_next_8609(AM_PRE_STMT, AM_STMT);
  2511. void AM_POST_STMT_nex_8611(AM_POST_STMT, AM_STMT);
  2512. void AM_INITIAL_STMT__8613(AM_INITIAL_STMT, AM_STMT);
  2513. void AM_ASSERT_STMT_n_8615(AM_ASSERT_STMT, AM_STMT);
  2514. void AM_INVARIANT_STM_8617(AM_INVARIANT_STMT, AM_STMT);
  2515. void AM_PROTECT_STMT__8619(AM_PROTECT_STMT, AM_STMT);
  2516. void AM_RAISE_STMT_ne_8621(AM_RAISE_STMT, AM_STMT);
  2517. void AM_EXPR_STMT_nex_8623(AM_EXPR_STMT, AM_STMT);
  2518. void TR_IF_STMT_next__8625(TR_IF_STMT, TR_STMT);
  2519. void TR_LOOP_STMT_nex_8627(TR_LOOP_STMT, TR_STMT);
  2520. void TR_RETURN_STMT_n_8629(TR_RETURN_STMT, TR_STMT);
  2521. void TR_YIELD_STMT_ne_8631(TR_YIELD_STMT, TR_STMT);
  2522. void TR_QUIT_STMT_nex_8633(TR_QUIT_STMT, TR_STMT);
  2523. void TR_CASE_STMT_nex_8635(TR_CASE_STMT, TR_STMT);
  2524. void TR_TYPECASE_STMT_8637(TR_TYPECASE_STMT, TR_STMT);
  2525. void TR_ASSERT_STMT_n_8639(TR_ASSERT_STMT, TR_STMT);
  2526. void TR_PROTECT_STMT__8641(TR_PROTECT_STMT, TR_STMT);
  2527. void TR_RAISE_STMT_ne_8643(TR_RAISE_STMT, TR_STMT);
  2528. void TR_COBEGIN_STMT__8645(TR_COBEGIN_STMT, TR_STMT);
  2529. void TR_LOCK_STMT_nex_8647(TR_LOCK_STMT, TR_STMT);
  2530. void TR_UNLOCK_STMT_n_8649(TR_UNLOCK_STMT, TR_STMT);
  2531. void TR_TRY_STMT_next_8651(TR_TRY_STMT, TR_STMT);
  2532. void TR_WITH_NEAR_STM_8653(TR_WITH_NEAR_STMT, TR_STMT);
  2533. void TR_DIST_STMT_nex_8655(TR_DIST_STMT, TR_STMT);
  2534. void TR_FORK_STMT_nex_8657(TR_FORK_STMT, TR_STMT);
  2535. void TR_EXPR_STMT_nex_8659(TR_EXPR_STMT, TR_STMT);
  2536. void TR_ASSIGN_STMT_n_8661(TR_ASSIGN_STMT, TR_STMT);
  2537. void TR_DEC_STMT_next_8663(TR_DEC_STMT, TR_STMT);
  2538. void TR_STMT_next_TR__8665(TR_STMT_39, TR_STMT);
  2539. void TR_ROUT_DEF_next_8667(TR_ROUT_DEF, TR_CLASS_ELT);
  2540. void TR_INCLUDE_CLAUS_8669(TR_INCLUDE_CLAUSE, TR_CLASS_ELT);
  2541. void TR_CONST_DEF_nex_8671(TR_CONST_DEF, TR_CLASS_ELT);
  2542. void TR_SHARED_DEF_ne_8673(TR_SHARED_DEF, TR_CLASS_ELT);
  2543. void TR_ATTR_DEF_next_8675(TR_ATTR_DEF, TR_CLASS_ELT);
  2544. void TR_CLASS_ELT_nex_8677(TR_CLASS_ELT_45, TR_CLASS_ELT);
  2545.