// 1 "runtime/modified.j" // 1 "" // 1 "" // 31 "" // 1 "/usr/include/stdc-predef.h" 1 3 4 // 32 "" 2 // 1 "runtime/modified.j" globals integer JHCR_Modified_m = 0 integer JHCR_Modified_globals = 0 endglobals function JHCR_Modified_modified takes integer JHCR_Modified_uid returns boolean return JHCR_Table_get_boolean(JHCR_Modified_m, JHCR_Modified_uid) endfunction function JHCR_Modified_set_modified takes integer JHCR_Modified_uid returns nothing call JHCR_Table_set_boolean(JHCR_Modified_m, JHCR_Modified_uid, true) endfunction function JHCR_Modified_init takes nothing returns nothing set JHCR_Modified_m = JHCR_Table_alloc() set JHCR_Modified_globals = JHCR_Table_alloc() endfunction