all dout djoin dSETJMP dASSER dcmpl dnrev dindex x 7Ì]S>ÿ9)4C >ÿwqR >ÿEÅ@ $copy DFS::0.D.all zip._zap.all $copy DFS::0.D.out zip.zap.out $copy DFS::0.D.join zip._cmd.join $copy DFS::0.D.SETJMP zip._h.SETJMP $copy DFS::0.D.ASSER zip._h.ASSER $copy DFS::0.D.cmpl zip._cmd.cmpl $copy DFS::0.D.nrev zip._zap.nrev Pclause nrev 2 10 keya '[]' constnil constnil enter 10 cut 10 exit xrtable endxrtable endclause clause nrev 2 13 keyf '.' 2 conslist firstvar 10 firstvar 11 pop enter 13 vararg 11 firvararg 12 call 0 glovar 12 conslist var 10 constnil poparg vararg 9 depart 1 3 exit xrtable p nrev 2 p app 3 endxrtable endclause clause app 3 11 keya '[]' constnil void var 9 enter 11 cut 11 exit xrtable endxrtable endclause clause app 3 14 keyf '.' 2 conslist firstvar 13 firstvar 11 pop void lastconslist var 13 firstvar 12 enter 13 vararg 11 vararg 9 vararg 12 depart 0 3 exit xrtable p app 3 endxrtable endclause clause start_handler 0 10 enter 10 firvararg 8 call 0 glovar 8 glofirvar 9 depart 1 2 exit xrtable p ex 1 p nrev 2 endxrtable endclause clause ex 1 9 keyf '.' 2 lastconslist immed 1 lastconslist immed 2 lastconslist immed 3 lastconslist immed 4 lastconslist immed 5 lastconslist immed 6 lastconslist immed 7 lastconslist immed 8 lastconslist immed 9 lastconslist immed 0 lastconslist immed 1 lastconslist immed 2 lastconslist immed 3 lastconslist immed 4 lastconslist immed 5 lastconslist immed 6 lastconslist immed 7 lastconslist immed 8 lastconslist immed 9 lastconslist immed 0 lastconslist immed 1 lastconslist immed 2 lastconslist immed 3 lastconslist immed 4 lastconslist immed 5 lastconslist immed 6 lastconslist immed 7 lastconslist immed 8 lastconslist immed 9 lastconslist immed 0 constnil return 9 xrtable endxrtable endclause llac mirpgalf $ echo compile parts of ZIP that are in C $ cc main $ cc alloc $ cc check $ cc compsup $ cc convert $ cc fileio $ cc lowlevel $ cc primitive $ cc read $ cc write $ cc zip $ link zip,main,alloc,check,compsup,convert,fileio,lowlevel,primitive,read,write $ cc zap $ link zap * ASSERT.H Version 1.1 #ifdef NDEBUG # define assert(bool) #else # define assert(bool) \ if (!(bool)) {_monitor();exit(1);} #endif /* setjmp.h V1.1.0 setjmp(), longjmp() -- non-local goto */ typedef int jmp_buf[4]; $ link zip,main,alloc,check,compsup,convert,fileio,lowlevel,primitive,read,write toordom- elu ratsah_teldn resu tad%saba uos%%ecr° c-onrplu oserecrumil- nknu_nwodnah rel aerbah_keldn _dnef_fo eli llac mirpgalf mirp ees mirpllet° _tegelifats_ sut _tupelifats_ sut nees dlot 0teg° mirp tup mirppmoc era° ekotaern mirp1moc sare pmisetel ekotplan mirp1moc mirp3moc mirp0moc mirp1moc ekothton 1teg ftuphsul saresale mirp9moc° ekottupn mirp1moc posi mirp8moc ftnitaol teg° tatsitsi mirpdaer piks roba mirpasiv° mirpopmi mirpudom mirpmdneludo tlah mirp nel mirpeman rahcalc_ evas tser ero <=@ =>@° ..= =:= =\= ==\ loba hsi gra essa essa atr essa ztr mota mota ogab ualc pmoc era pmoc eli snoc tlu rruc_tne psid yal° mdneludo orreah_reldn liaf dnif lla cnuf rot opmi etni reg syek tro gnel tsil gni udom eman vnon ton° bmunavre trop yar tup daer ocerdedr ocer adr ocer zdr eper rter tca ees iees otes tros ccus bat llet llet gni cart gni eurt nknu nwo rav° asiv tirw tirwpede tirw tirwdiwe xfx ifni >-- ferp edom° lbup yfx xfy rox° dom cart orrE :r° orreem_rgass orreuc_rirpl tsohluc-tirp soh(xe ttpec noiedoc pluC:tir erB( )ka uqod yre lorPX-goeR ,sael.4 e lpotleve -? reuqrofy wsna lnoc tsi sey ibrpnidn eroM/y( ?)n = ° uteg utup agellc_lesua bssa hto saodtres tsedalc_ esu pmocussa tin tcer mre dnibeman tirw lce rav%eman arof eerfrav_ nraw gni° (## mreterf_ tsilerf_ lpxetici evassni_ tsilsni_ _nocsbus lper eca lave tupc emi° llac -5 -4 pmocesir ngispaws grem ngisgrem pmoc_erasyek syeksngi paw myekegre° syekmngiegre elpo lag mirp ossa tsop xif rtta pvig cor wyek dro inmo° rcas ldomlage ldomlage miodtrop epmi edom wols nel lgra tsi nbat ekotouqn noc tlus .de (ugratnem fo snoc tlutsum eb tsniitnadeta corp sse° moc elip _orpreuq eh_g imesessa ob_g it_g llufessa apxe nraW:gni daerfni_ epyTpni a tuniag ni uloc nm° fo enil fo elif "reporotapxe etcefa d retrpxeisse ekotro nepo otarxe rtcep rpxeissee nocepx det° ekotac ntonnats a trxe nserpnois° 'mmocro aolc gnisuor b dnkcare tecepx det /trevlacirab ro solc gniauqsb erkcare tecepx det &ocnicerrop titisf nop roiferpo xtare ocnicerrop titisf noc rorplu &tsohliw on lep ttimrlif ot e eb nepo =eerfrav lbaii seuC nirplni ttta tpme gnip otevorton luC(tirp Ncnuf rothtiw tuotiratemhi ciretnterpoitaof n dnuhtiws ninocera demugo tni" f *rpmirepogra nemufo tira emht citrpxeisse rpmireporif a tsmugr tne rof"po" !rpmirepoces dnougratnemrof po" rpmirepoiht a drmugr tne rof"po"° ,elli lagetta tpmm otfido a yrcasp deecorerud° t RXelbaevo olfr timeedocbat o elfrev wol sihtret si mton v a dilaalc esu 4i nagetni reon s a tilavog d .laaf" "lisbusutit.det° 'nknu nwoocpog edrenedetays( metsrre )ro° $etta tpme otucexu etonknp nwecorerud rpmireposiv ps aficetaci noi rpmirepopmi trocepscifioita s on hcucorprudesi efed deni 1corprudela edaered yralcv debisii ella nom lelud 1corprudela edaered yralcv debisii elht nm siludo /mrepissin nog totnart demi otropiht rp sdeco eru° udoma elaerle ydretn udom seltsent ded oolpee udome-elomdneludsim ctam 'bolgs lakcathxe tsua( deoserecrumil )ti %paehaps e ecuahxdetser( ruosl ectimi &iartps l ecaahxeetsur( duose ecrimil acolps l ecaahxeetsu pmocrelited stcelnu lekiog y sihtalc esulliw eb ongi der° eppa etxe if_g arhp cssa sup% %vh° tni% %qe° ser%%tlu pmoc hsup tni ossa onib ponu° sup% %bh sup% %ih° ave% dda% dda° bus% bus vid% vid° lum% lum dom% dna% dna° %ro% lhs% lhs rhs% rhs° gen% gen ton% tni% %en° tni% %tl tni% %tg tni% %el° tni% %eg° daeh etuo v_ode_ra hca issav_ngt_rasepy° stca ezi issao_ngesff uter et_c essaelbm dnif yek tsetaeh_ ( ( tsetorp_ RAV$ tsal° b_od_ydosrav _negydobdoc_ snoc _ravstib enni ydob _ravedni tlumelpi° _ravepyt fo_ftesf sriflf_t° issav_ngt_ra epy diov pmet ol_b acol v_od sid%cnuj laersil_ col%ucla issao_ngesff etne tixe og_c sla og_c nepodoc_ aped ra_c ra_cav_g snoclint° emmi snoctnat tsalsnoctsil tsalcnuf rot° snoctsil° oohcp_es pop apop arav vrifrara srifravt° folgavri volg tuc sorp ccu° eorplauq° aorp forptcnu hsup hsup userc_tl edo° evas jsidtcnu° tinirav_ acoltucl° tnoceuni° odne gneld_ht ffi° _ravtsni srifsert tlu° user tini rav° diov tsni llac vorp norpavno aorp mot° iorp aorpimot hsup nknU nwo po° ! ! ssa° daerkot_ sne° etfals_r° daertfa_a_re mot° etfasf_r irts daerrts_ gni daerool_ puk° ,0** eromrts_ gni° daertac_ _lladaer° tnyse_xarorr° c_onrplu epxe rpxe 0lt° daergra_ lliftser° etfarp_rxife po_° daersil_ peep ferpi_xita_s rpxe ifni pox° tsopoxif tnaclof__wolrpxe iravelba° carb tek° )>, tnySE xarorr :° wohsluc_tirp° psid_yalekot tnoC:txe psid_yaltsil° eh<<>>er° cnup tirwuo_e nirp byamap_e ner° byamps_e eca° touq hpla ngiss_deecap° tirwta_e tirwra_e tirwat_e ehto salcyfis° tirwdobe° ofebiler etfamocr endxrtable endclause clause assign_offset 6 14 keya b_loc constant 0 voidn 4 var 12 enter 14 cut 14 vararg 10 vararg 11 prosucc constant 1 vararg 9 vararg 10 depart 2 3 exit xrtable a b_loc a f_offset pprimitive primflag 3 1 7 primitive primsee 1 2 7 primitive primtell 1 3 7 primitive get_file_status 6 4 0 primitive put_file_status 6 5 0 primitive seen 0 6 7 primitive told 0 7 7 primitive get0 1 8 7 primitive primput 1 9 7 primitive primcompare 3 10 0 primitive tokenread 3 11 7 primitive primcom12 0 12 0 primitive erase 1 13 7 primitive simpleterm 1 14 7 primitive tokenalpha 1 15 7 primitive primcom1 4 16 0 primitive primcom3 8 18 0 primitive primcom0 0 19 0 primitive primcom11 2 20 0 primitive tokenother 1 21 7 primitive get1 1 22 7 primitive putflush 1 23 7 primitive eraselast 0 25 7 primitive primcom9 1 27 0 primitive tokenput 2 28 6 primitive primcom10 1 29 0 primitive isop 6 31 6 primitive primcom8 3 32 7 primitive intfloat 2 33 7 primitive get 1 37 7 primitive statistics 2 43 7 primitive primread 5 48 0 primitive skip 1 49 7 primitive abort 0 50 7 primitive primvisa 3 51 0 primitive primimport 4 52 0 primitive primmodule 2 53 7 primitive primendmodule 1 54 7 primitive halt 0 55 7 primitive primlen 2 56 0 primitive primname 2 57 7 primitive char_class 2 60 7 primitive save 2 61 7 primitive restore 1 62 7 visible ; 2 visible -> 2 visible ',' 2 visible ^ 2 visible \+ 1 visible @< 2 visible @> 2 visible @=< 2 visible @>= 2 visible < 2 visible = 2 visible =.. 2 visible =:= 2 visible =< 2 visible == 2 visible =\= 2 visible > 2 visible >= 2 visible \= 2 visible \== 2 updatable 'C' 3 visible abolish 2 visible arg 3 visible assert 1 visible assert 2 visible asserta 1 visible asserta 2 visible assertz 1 visible assertz 2 visible atom 1 visible atomic 1 visible bagof 3 updatable break_handler 0 visible call 1 visible clause 2 visible clause 3 visible compare 3 visible compile 1 visible consult 1 updatable current_op 6 visible display 1 visible endmodule 1 updatable error_handler 2 visible fail 0 visible findall 3 visible findall 4 visible functor 3 visible import 2 visible integer 1 visible is 2 visible keysort 2 visible length 2 visible listing 2 visible module 1 visible name 2 visible nl 0 visible nonvar 1 visible not 1 visible numbervars 3 visible op 3 updatable portray 1 visible put 1 visible read 1 visible read 2 visible recorded 3 visible recorda 3 visible recordz 3 visible repeat 0 visible retract 1 visible save 1 visible see 1 visible seeing 1 visible setof 3 visible sort 2 visible succ 2 visible tab 1 visible tell 1 visible telling 1 visible tracing 2 visible true 0 visible unknown 2 visible var 1 visible visa 2 visible write 1 visible writedepth 2 visible writeq 1 visible writewidth 2 clause current_op 6 14 keya :- constant 0 constant 1 constant 2 constant 1 constant 3 constant 4 return 14 xrtable a :- i 1199 i 1200 a xfx a infix endxrtable endclause clause current_op 6 14 keya --> constant 0 constant 1 constant 2 constant 1 constant 3 constant 4 return 14 xrtable a --> i 1199 i 1200 a xfx a infix endxrtable endclause clause current_op 6 14 keya :- constant 0 constant 1 constant 2 void constant 3 constant 4 return 14 xrtable a :- i 1199 i 1200 a fx a prefix endxrtable endclause clause current_op 6 14 keya ?- constant 0 constant 1 constant 2 void constant 3 constant 4 return 14 xrtable a ?- i 1199 i 1200 a fx a prefix endxrtable endclause clause current_op 6 14 keya mode constant 0 constant 1 constant 2 void constant 3 constant 4 return 14 xrtable a mode i 1149 i 1150 a fx a prefix endxrtable endclause clause current_op 6 14 keya public constant 0 constant 1 constant 2 void constant 3 constant 4 return 14 xrtable a public i 1149 i 1150 a fx a prefix endxrtable endclause clause current_op 6 14 keya ; constant 0 constant 1 constant 2 constant 2 constant 3 constant 4 return 14 xrtable i 1099 i 1100 a xfy a infix endxrtable endclause clause current_op 6 14 keya -> constant 0 constant 1 constant 2 constant 2 constant 3 constant 4 return 14 xrtable a -> i 1049 i 1050 a xfy a infix endxrtable endclause clause current_op 6 14 keya ',' constant 0 constant 1 constant 2 constant 2 constant 3 constant 4 return 14 xrtable a ',' i 999 i 1000 a xfy a infix endxrtable endclause clause current_op 6 14 keya not constant 0 constant 1 constant 1 void constant 2 constant 3 return 14 xrtable a not i 900 a fy a prefix endxrtable endclause clause current_op 6 14 keya \+ constant 0 constant 1 constant 1 void constant 2 constant 3 return 14 xrtable a \+ i 900 a fy a prefix endxrtable endclause clause current_op 6 14 keya is constant 0 constant 1 constant 2 constant 1 constant 3 constant 4 return 14 xrtable a is i 699 i 700 a xfx a infix endxrtable endclause clause current_op 6 14 keya = constant 0 constant 1 constant 2 constant 1 constant 3 constant 4 return 14 xrtable i 699 i 700 a xfx a infix endxrtable endclause clause current_op 6 14 keya \= constant 0 constant 1 constant 2 constant 1 constant 3 constant 4 return 14 xrtable a \= i 699 i 700 a xfx a infix endxrtable endclause clause current_op 6 14 keya < constant 0 constant 1 constant 2 constant 1 constant 3 constant 4 return 14 xrtable i 699 i 700 a xfx a infix endxrtable endclause clause current_op 6 14 keya > constant 0 constant 1 constant 2 constant 1 constant 3 constant 4 return 14 xrtable i 699 i 700 a xfx a infix endxrtable endclause clause current_op 6 14 keya =< constant 0 constant 1 constant 2 constant 1 constant 3 constant 4 return 14 xrtable a =< i 699 i 700 a xfx a infix endxrtable endclause clause current_op 6 14 keya >= constant 0 constant 1 constant 2 constant 1 constant 3 constant 4 return 14 xrtable a >= i 699 i 700 a xfx a infix endxrtable endclause clause current_op 6 14 keya =.. constant 0 constant 1 constant 2 constant 1 constant 3 constant 4 return 14 xrtable a =.. i 699 i 700 a xfx a infix endxrtable endclause clause current_op 6 14 keya =:= constant 0 constant 1 constant 2 constant 1 constant 3 constant 4 return 14 xrtable a =:= i 699 i 700 a xfx a infix endxrtable endclause clause current_op 6 14 keya =\= constant 0 constant 1 constant 2 constant 1 constant 3 constant 4 return 14 xrtable a =\= i 699 i 700 a xfx a infix endxrtable endclause clause current_op 6 14 keya == constant 0 constant 1 constant 2 constant 1 constant 3 constant 4 return 14 xrtable a == i 699 i 700 a xfx a infix endxrtable endclause clause current_op 6 14 keya \== constant 0 constant 1 constant 2 constant 1 constant 3 constant 4 return 14 xrtable a \== i 699 i 700 a xfx a infix endxrtable endclause clause current_op 6 14 keya @< constant 0 constant 1 constant 2 constant 1 constant 3 constant 4 return 14 xrtable a @< i 499 i 500 a xfx a infix endxrtable endclause clause current_op 6 14 keya @> constant 0 constant 1 constant 2 constant 1 constant 3 constant 4 return 14 xrtable a @> i 499 i 500 a xfx a infix endxrtable endclause clause current_op 6 14 keya @=< constant 0 constant 1 constant 2 constant 1 constant 3 constant 4 return 14 xrtable a @=< i 499 i 500 a xfx a infix endxrtable endclause clause current_op 6 14 keya @>= constant 0 constant 1 constant 2 constant 1 constant 3 constant 4 return 14 xrtable a @>= i 499 i 500 a xfx a infix endxrtable endclause clause current_op 6 14 keya + constant 0 constant 1 constant 2 void constant 3 constant 4 return 14 xrtable i 499 i 500 a fx a prefix endxrtable endclause clause current_op 6 14 keya - constant 0 constant 1 constant 2 void constant 3 constant 4 return 14 xrtable i 499 i 500 a fx a prefix endxrtable endclause clause current_op 6 14 keya \ constant 0 constant 1 constant 2 void constant 3 constant 4 return 14 xrtable i 499 i 500 a fx a prefix endxrtable endclause clause current_op 6 14 keya + constant 0 constant 1 constant 1 constant 2 constant 3 constant 4 return 14 xrtable i 500 i 499 a yfx a infix endxrtable endclause clause current_op 6 14 keya - constant 0 constant 1 constant 1 constant 2 constant 3 constant 4 return 14 xrtable i 500 i 499 a yfx a infix endxrtable endclause clause current_op 6 14 keya /\ constant 0 constant 1 constant 1 constant 2 constant 3 constant 4 return 14 xrtable a /\ i 500 i 499 a yfx a infix endxrtable endclause clause current_op 6 14 keya \/ constant 0 constant 1 constant 1 constant 2 constant 3 constant 4 return 14 xrtable a \/ i 500 i 499 a yfx a infix endxrtable endclause clause current_op 6 14 keya xor constant 0 constant 1 constant 1 constant 2 constant 3 constant 4 return 14 xrtable a xor i 500 i 499 a yfx a infix endxrtable endclause clause current_op 6 14 keya * constant 0 constant 1 constant 1 constant 2 constant 3 constant 4 return 14 xrtable i 400 i 399 a yfx a infix endxrtable endclause clause current_op 6 14 keya / constant 0 constant 1 constant 1 constant 2 constant 3 constant 4 return 14 xrtable i 400 i 399 a yfx a infix endxrtable endclause clause current_op 6 14 keya << constant 0 constant 1 constant 1 constant 2 constant 3 constant 4 return 14 xrtable a << i 400 i 399 a yfx a infix endxrtable endclause clause current_op 6 14 keya >> constant 0 constant 1 constant 1 constant 2 constant 3 constant 4 return 14 xrtable a >> i 400 i 399 a yfx a infix endxrtable endclause clause current_op 6 14 keya mod constant 0 constant 1 constant 2 constant 1 constant 3 constant 4 return 14 xrtable a mod i 299 i 300 a xfx a infix endxrtable endclause clause current_op 6 14 keya ^ constant 0 immed 199 immed 200 immed 200 constant 1 constant 2 return 14 xrtable a xfy a infix endxrtable endclause clause unknown_handler 1 10 enter 10 constant 0 firvararg 9 call 1 cut 10 fail exit xrtable a fail p unknown 2 endxrtable endclause clause unknown_handler 1 10 enter 10 constant 0 firvararg 9 call 1 immed 54 vararg 8 depart 2 2 exit xrtable a trace p unknown 2 p error_handler 2 endxrtable endclause clause error_handler 2 11 enter 11 constant 0 call 1 constant 2 call 3 vararg 8 firvararg 10 call 4 vararg 10 call 3 call 5 vararg 9 call 6 call 5 depart 7 0 exit xrtable a user p tell 1 a 'Error: ' p tokenput 1 p error_message 2 p nl 0 p error_culprit 1 p abort 0 endxrtable endclause clause error_culprit 1 9 enter 9 provar 8 vararg 8 depart 0 1 exit xrtable p tokenput 1 endxrtable endclause clause error_culprit 1 9 keya 'no-culprit' constant 0 return 9 xrtable a 'no-culprit' endxrtable endclause clause error_culprit 1 9 keya 'host-culprit' constant 0 enter 9 constant 1 depart 2 1 exit xrtable a 'host-culprit' a '(host exception code)' p tokenput 1 endxrtable endclause clause error_culprit 1 9 enter 9 constant 0 call 1 vararg 8 depart 2 1 exit xrtable a 'Culprit: ' p tokenput 1 p write 1 endxrtable endclause clause break_handler 0 11 enter 11 firvararg 8 call 0 firvararg 9 call 1 call 2 constant 3 call 4 constant 3 call 5 constant 6 call 7 firvararg 10 call 8 vararg 10 constant 9 proequal vararg 8 call 4 vararg 9 call 5 cut 11 exit xrtable p seeing 1 p telling 1 p repeat 0 a user p see 1 p tell 1 a '(Break) ' p tokenput 1 p doquery 1 a end_of_file endxrtable endclause clause start_handler 0 8 enter 8 constant 0 call 1 constant 2 call 3 call 4 call 5 depart 6 0 exit xrtable a user p tell 1 a 'Prolog-X, Release 4.0' p tokenput 1 p nl 0 p toplevel 0 p halt 0 endxrtable endclause clause start_handler 0 8 enter 8 depart 0 0 exit xrtable p abort 0 endxrtable endclause clause toplevel 0 9 enter 9 call 0 constant 1 call 2 constant 1 call 3 firvararg 8 call 4 glovar 8 constant 5 proequal exit xrtable p repeat 0 a user p see 1 p tell 1 p doquery 1 a end_of_file endxrtable endclause clause doquery 1 10 enter 10 constant 0 call 1 vararg 8 firvararg 9 call 2 vararg 8 call 3 vararg 9 call 4 cut 10 exit xrtable a '?- ' p tokenput 1 p read 2 p queryform 1 p answer 1 endxrtable endclause clause doquery 1 9 keya no constant 0 enter 9 constant 0 call 1 depart 2 0 exit xrtable a no p tokenput 1 p nl 0 endxrtable endclause clause queryform 1 9 keya end_of_file constant 0 enter 9 cut 9 exit xrtable a end_of_file endxrtable endclause clause queryform 1 11 keyf '.' 2 lastconslist firstvar 9 firstvar 10 enter 11 cut 11 vararg 9 call 0 vararg 10 depart 0 1 exit xrtable p conlist 1 endxrtable endclause clause queryform 1 19 enter 19 firvararg 9 firvararg 10 call 0 callx 8 firvararg 11 firvararg 12 call 0 immed 40 call 1 eval 12 13 eval 10 14 pushv 13 pushv 14 firstresult 15 vararg 15 call 2 immed 47 call 1 eval 11 16 eval 9 17 pushv 16 pushv 17 firstresult 18 vararg 18 call 2 immed 41 call 1 depart 3 0 exit xrtable p statistics 2 p put 1 p tokenput 1 p nl 0 endxrtable endclause clause queryform 1 9 enter 9 fail exit xrtable endxrtable endclause clause answer 1 9 keya '[]' constnil enter 9 cut 9 constant 0 call 1 constant 0 call 2 constant 3 call 4 depart 5 0 exit xrtable a user p see 1 p tell 1 a yes p tokenput 1 p nl 0 endxrtable endclause clause answer 1 10 enter 10 constant 0 call 1 constant 0 call 2 vararg 8 call 3 call 4 constant 5 call 6 cut 10 firvararg 9 call 7 immed 10 call 8 glovar 9 immed 110 proequal exit xrtable a user p see 1 p tell 1 p prbindings 1 p nl 0 a 'More (y/n)? ' p tokenput 1 p get 1 p skip 1 endxrtable endclause clause prbindings 1 9 keya '[]' constnil enter 9 cut 9 exit xrtable endxrtable endclause clause prbindings 1 12 keyf '.' 2 lastconslist functor 0 2 firstvar 9 firstvar 10 firstvar 11 enter 12 vararg 9 call 1 constant 2 call 1 vararg 10 call 3 call 4 vararg 11 depart 5 1 exit xrtable f = 2 p tokenput 1 a ' = ' p write 1 p nl 0 p prbindings 1 endxrtable endclause clause true 0 8 return 8 xrtable endxrtable endclause clause repeat 0 8 return 8 xrtable endxrtable endclause clause repeat 0 8 enter 8 depart 0 0 exit xrtable p repeat 0 endxrtable endclause clause name 2 10 enter 10 prononvar 9 cut 10 vararg 8 vararg 9 depart 0 2 exit xrtable p primname 2 endxrtable endclause clause name 2 11 enter 11 vararg 8 firvararg 10 call 0 glovar 10 vararg 9 proequal exit xrtable p primname 2 endxrtable endclause clause tracing 2 10 enter 10 constant 0 vararg 8 vararg 9 depart 1 3 exit xrtable i 2047 p primflag 3 endxrtable endclause clause unknown 2 10 enter 10 vararg 8 call 0 vararg 9 depart 1 1 exit xrtable p getunk 1 p putunk 1 endxrtable endclause clause getunk 1 9 keya fail constant 0 enter 9 immed 128 immed 0 immed 0 call 1 cut 9 exit xrtable a fail p primflag 3 endxrtable endclause clause getunk 1 9 keya trace constant 0 enter 9 immed 128 immed 128 immed 128 depart 1 3 exit xrtable a trace p primflag 3 endxrtable endclause clause putunk 1 9 enter 9 provar 8 cut 9 exit xrtable endxrtable endclause clause putunk 1 10 keya fail constant 0 enter 10 immed 128 glofirvar 9 immed 0 depart 1 3 exit xrtable a fail p primflag 3 endxrtable endclause clause putunk 1 10 keya trace constant 0 enter 10 immed 128 glofirvar 9 immed 128 depart 1 3 exit xrtable a trace p primflag 3 endxrtable endclause clause assert 1 9 enter 9 vararg 8 depart 0 1 exit xrtable p assertz 1 endxrtable endclause clause asserta 1 9 enter 9 vararg 8 call 0 vararg 8 immed 1 depart 1 2 exit xrtable p legal_clause 1 p assboth 2 endxrtable endclause clause asserta 1 9 void return 9 xrtable endxrtable endclause clause assertz 1 9 enter 9 vararg 8 call 0 vararg 8 immed 0 depart 1 2 exit xrtable p legal_clause 1 p assboth 2 endxrtable endclause clause assertz 1 9 void return 9 xrtable endxrtable endclause clause assert 2 10 enter 10 vararg 8 vararg 9 depart 0 2 exit xrtable p assertz 2 endxrtable endclause clause asserta 2 10 enter 10 vararg 8 call 0 vararg 8 immed 1 depart 1 2 exit xrtable p legal_clause 1 p assboth 2 endxrtable endclause clause asserta 2 10 enter 10 vararg 9 depart 0 1 exit xrtable p primcom9 1 endxrtable endclause clause assertz 2 10 enter 10 vararg 8 call 0 vararg 8 immed 0 depart 1 2 exit xrtable p legal_clause 1 p assboth 2 endxrtable endclause clause assertz 2 10 enter 10 vararg 9 depart 0 1 exit xrtable p primcom9 1 endxrtable endclause clause assboth 2 10 enter 10 vararg 8 vararg 9 immed 0 call 0 fail exit xrtable p doassert 3 endxrtable endclause clause assboth 2 15 enter 15 firvararg 10 firvararg 11 firvararg 12 call 0 vararg 8 firvararg 13 firvararg 14 call 1 functor 2 6 var 10 var 11 var 13 var 14 constnil var 12 poparg vararg 9 immed 1 call 3 fail exit xrtable p primcom8 3 p dest_clause 3 f '%source%' 6 p compassunit 3 endxrtable endclause clause recorda 3 11 enter 11 vararg 8 vararg 9 immed 1 depart 0 3 exit xrtable p recterm 3 endxrtable endclause clause recorda 3 13 enter 13 glofirvar 11 glofirvar 12 vararg 10 depart 0 3 exit xrtable p primcom8 3 endxrtable endclause clause recordz 3 11 enter 11 vararg 8 vararg 9 immed 0 depart 0 3 exit xrtable p recterm 3 endxrtable endclause clause recordz 3 13 enter 13 glofirvar 11 glofirvar 12 vararg 10 depart 0 3 exit xrtable p primcom8 3 endxrtable endclause clause recterm 3 13 enter 13 vararg 8 firvararg 11 firvararg 12 profunctor functor 0 3 var 11 var 12 var 9 poparg vararg 10 immed 1 call 1 fail exit xrtable f '%database%' 3 p compassunit 3 endxrtable endclause clause recorded 3 13 enter 13 vararg 8 firvararg 11 firvararg 12 profunctor lastfunctor 0 3 var 11 var 12 var 9 call 1 vararg 10 depart 2 1 exit xrtable f '%database%' 3 p call 1 p primcom10 1 endxrtable endclause clause abolish 2 11 enter 11 lastfunctor 0 6 var 8 var 9 voidn 3 firstvar 10 call 1 call 2 vararg 10 call 3 fail exit xrtable f '%source%' 6 p call 1 p eraselast 0 p erase 1 endxrtable endclause clause abolish 2 10 voidn 2 return 10 xrtable endxrtable endclause clause retract 1 14 enter 14 cut 14 vararg 8 firvararg 9 firvararg 10 call 0 vararg 9 firvararg 11 firvararg 12 profunctor lastfunctor 1 6 var 11 var 12 var 9 var 10 void firstvar 13 call 2 call 3 glovar 13 depart 4 1 exit xrtable p dest_clause 3 f '%source%' 6 p call 1 p eraselast 0 p erase 1 endxrtable endclause clause clause 3 13 enter 13 cut 13 vararg 8 firvararg 11 firvararg 12 profunctor lastfunctor 0 6 var 11 var 12 var 8 var 9 void var 10 depart 1 1 exit xrtable f '%source%' 6 p call 1 endxrtable endclause clause clause 2 12 enter 12 cut 12 vararg 8 firvararg 10 firvararg 11 profunctor lastfunctor 0 6 var 10 var 11 var 8 var 9 voidn 2 depart 1 1 exit xrtable f '%source%' 6 p call 1 endxrtable endclause clause listing 2 13 enter 13 lastfunctor 0 6 var 8 var 9 firstvar 10 firstvar 11 firstvar 12 void call 1 vararg 12 call 2 vararg 10 vararg 11 call 3 fail exit xrtable f '%source%' 6 p call 1 p bindnames 1 p writecl 2 endxrtable endclause clause listing 2 10 voidn 2 return 10 xrtable endxrtable endclause clause bindnames 1 9 keya '[]' constnil enter 9 cut 9 exit xrtable endxrtable endclause clause bindnames 1 11 keyf '.' 2 lastconslist functor 0 2 firstvar 10 functor 1 1 var 10 firstvar 9 enter 10 vararg 9 depart 2 1 exit xrtable f = 2 f '%varname%' 1 p bindnames 1 endxrtable endclause clause call 1 9 enter 9 callx 8 exit xrtable endxrtable endclause clause ^ 2 10 enter 10 callx 9 exit xrtable endxrtable endclause clause ',' 2 10 enter 10 callx 8 callx 9 exit xrtable endxrtable endclause clause -> 2 10 enter 10 callx 8 cut 10 callx 9 exit xrtable endxrtable endclause clause ; 2 12 keyf -> 2 functor 0 2 firstvar 10 firstvar 11 enter 12 callx 10 cut 12 callx 11 exit xrtable f -> 2 endxrtable endclause clause ; 2 10 keyf -> 2 functor 0 2 voidn 2 enter 10 cut 10 callx 9 exit xrtable f -> 2 endxrtable endclause clause ; 2 10 enter 10 callx 8 exit xrtable endxrtable endclause clause ; 2 10 enter 10 callx 9 exit xrtable endxrtable endclause clause \+ 1 9 enter 9 callx 8 cut 9 fail exit xrtable endxrtable endclause clause \+ 1 9 void return 9 xrtable endxrtable endclause clause forall 2 12 enter 12 firvararg 10 call 0 firvararg 11 call 1 cut 12 fail exit xrtable p call 1 p \+ 1 endxrtable endclause clause forall 2 10 voidn 2 return 10 xrtable endxrtable endclause clause \= 2 10 void var 8 enter 10 cut 10 fail exit xrtable endxrtable endclause clause \= 2 10 voidn 2 return 10 xrtable endxrtable endclause clause not 1 10 enter 10 vararg 8 constnil constnil firvararg 9 call 0 vararg 9 constnil call 1 cut 10 immed 39 vararg 8 depart 2 2 exit xrtable p free_var 4 p \== 2 p warning 2 endxrtable endclause clause not 1 9 enter 9 callx 8 cut 9 fail exit xrtable endxrtable endclause clause not 1 9 void return 9 xrtable endxrtable endclause clause free_var 4 12 voidn 3 lastconslist var 8 var 10 enter 12 provar 8 vararg 9 vararg 8 call 0 vararg 10 vararg 8 call 1 cut 12 exit xrtable p term_free 2 p list_free 2 endxrtable endclause clause free_var 4 12 voidn 3 var 10 enter 12 provar 8 cut 12 exit xrtable endxrtable endclause clause free_var 4 14 enter 14 vararg 8 vararg 9 firvararg 12 firvararg 13 call 0 cut 14 glovar 12 glovar 13 vararg 10 vararg 11 depart 1 4 exit xrtable p explicit 4 p free_var 4 endxrtable endclause clause free_var 4 14 enter 14 vararg 8 firvararg 12 firvararg 13 profunctor glovar 13 vararg 8 vararg 9 vararg 10 vararg 11 depart 0 5 exit xrtable p free_var 5 endxrtable endclause clause free_var 5 13 keyi 0 immed 0 voidn 3 var 11 enter 13 cut 13 exit xrtable endxrtable endclause clause free_var 5 16 enter 16 vararg 8 vararg 9 firvararg 13 proarg vararg 13 vararg 10 vararg 11 firvararg 14 call 0 firvararg 15 vararg 8 prosucc cut 16 glovar 15 vararg 9 vararg 10 glovar 14 vararg 12 depart 1 5 exit xrtable p free_var 4 p free_var 5 endxrtable endclause clause explicit 4 12 keyf \+ 1 functor 0 1 void void constant 1 var 9 return 12 xrtable f \+ 1 a fail endxrtable endclause clause explicit 4 12 keyf not 1 functor 0 1 void void constant 1 var 9 return 12 xrtable f not 1 a fail endxrtable endclause clause explicit 4 13 keyf ^ 2 functor 0 2 firstvar 12 var 10 voidn 2 lastfunctor 1 2 var 9 var 12 return 12 xrtable f ^ 2 f + 2 endxrtable endclause clause explicit 4 15 keyf setof 3 functor 0 3 firstvar 12 firstvar 13 firstvar 14 void functor 1 2 var 13 var 14 lastfunctor 2 2 var 9 var 12 return 12 xrtable f setof 3 f - 2 f + 2 endxrtable endclause clause explicit 4 15 keyf bagof 3 functor 0 3 firstvar 12 firstvar 13 firstvar 14 void functor 1 2 var 13 var 14 lastfunctor 2 2 var 9 var 12 return 12 xrtable f bagof 3 f - 2 f + 2 endxrtable endclause clause term_free 2 10 enter 10 provar 8 cut 10 vararg 8 vararg 9 depart 0 2 exit xrtable p \== 2 endxrtable endclause clause term_free 2 12 enter 12 vararg 8 firvararg 10 firvararg 11 profunctor glovar 11 vararg 8 vararg 9 depart 0 3 exit xrtable p term_free 3 endxrtable endclause clause term_free 3 11 keyi 0 immed 0 enter 11 cut 11 exit xrtable endxrtable endclause clause term_free 3 13 enter 13 vararg 8 vararg 9 firvararg 11 proarg vararg 11 vararg 10 call 0 firvararg 12 vararg 8 prosucc cut 13 glovar 12 vararg 9 vararg 10 depart 1 3 exit xrtable p term_free 2 p term_free 3 endxrtable endclause clause list_free 2 12 keyf '.' 2 conslist firstvar 10 firstvar 11 enter 12 vararg 10 vararg 9 call 0 cut 12 vararg 11 vararg 9 depart 1 2 exit xrtable p \== 2 p list_free 2 endxrtable endclause clause list_free 2 10 keya '[]' constnil void return 10 xrtable endxrtable endclause clause findall 3 11 enter 11 functor 0 1 var 8 poparg vararg 9 call 1 constnil vararg 10 depart 2 2 exit xrtable f - 1 p save_inst 2 p list_inst 2 endxrtable endclause clause findall 4 12 enter 12 functor 0 1 var 8 poparg vararg 9 call 1 vararg 10 vararg 11 depart 2 2 exit xrtable f - 1 p save_inst 2 p list_inst 2 endxrtable endclause clause setof 3 12 enter 12 vararg 8 vararg 9 firvararg 11 call 0 glovar 11 vararg 10 depart 1 2 exit xrtable p bagof 3 p sort 2 endxrtable endclause clause bagof 3 17 enter 17 vararg 9 vararg 8 constnil firvararg 11 call 0 vararg 11 constnil call 1 cut 17 firvararg 12 lastconslist constant 2 var 11 call 3 vararg 12 constant 2 firvararg 13 profunctor functor 4 2 var 12 var 8 poparg vararg 9 call 5 vararg 12 vararg 13 constnil firvararg 14 call 6 vararg 14 firvararg 15 call 7 cut 17 vararg 15 vararg 12 firvararg 16 call 8 vararg 10 glovar 16 proequal exit xrtable p free_var 4 p \== 2 a '.' p =.. 2 f - 2 p save_inst 2 p list_inst 4 p keysort 2 p con_subset 3 endxrtable endclause clause bagof 3 11 enter 11 functor 0 1 var 8 poparg vararg 9 call 1 constnil vararg 10 call 2 vararg 10 constnil depart 3 2 exit xrtable f - 1 p save_inst 2 p list_inst 2 p \== 2 endxrtable endclause clause save_inst 2 12 enter 12 constant 0 constant 1 firvararg 10 call 2 callx 9 constant 0 vararg 8 firvararg 11 call 2 fail exit xrtable a '.' p recorda 3 endxrtable endclause clause save_inst 2 10 voidn 2 return 10 xrtable endxrtable endclause clause list_inst 2 12 enter 12 constant 0 firvararg 10 firvararg 11 call 1 vararg 11 call 2 cut 12 glovar 10 vararg 8 vararg 9 depart 3 3 exit xrtable a '.' p recorded 3 p erase 1 p list_inst 3 endxrtable endclause clause list_inst 3 11 keya - constant 0 enter 11 cut 11 vararg 10 vararg 9 proequal exit xrtable endxrtable endclause clause list_inst 3 12 keyf - 1 functor 0 1 firstvar 11 enter 12 conslist var 11 var 9 poparg vararg 10 depart 1 2 exit xrtable f - 1 p list_inst 2 endxrtable endclause clause list_inst 4 14 enter 14 constant 0 firvararg 12 firvararg 13 call 1 vararg 13 call 2 cut 14 glovar 12 vararg 8 vararg 9 vararg 10 vararg 11 depart 3 5 exit xrtable a '.' p recorded 3 p erase 1 p list_inst 5 endxrtable endclause clause list_inst 5 13 keya - constant 0 voidn 3 var 11 enter 13 cut 13 exit xrtable endxrtable endclause clause list_inst 5 15 keyf - 2 functor 0 2 firstvar 13 firstvar 14 enter 15 vararg 10 vararg 9 vararg 13 call 1 cut 15 vararg 9 vararg 10 conslist functor 0 2 var 13 var 14 poparg var 11 poparg vararg 12 depart 2 4 exit xrtable f - 2 p replace 3 p list_inst 4 endxrtable endclause clause replace 3 11 keyi 0 immed 0 enter 11 cut 11 exit xrtable endxrtable endclause clause replace 3 13 enter 13 vararg 8 vararg 10 firvararg 11 proarg prononvar 11 cut 13 firvararg 12 vararg 8 prosucc glovar 12 vararg 9 vararg 10 depart 0 3 exit xrtable p replace 3 endxrtable endclause clause replace 3 13 enter 13 vararg 8 vararg 9 firvararg 11 proarg vararg 8 vararg 10 vararg 11 proarg firvararg 12 vararg 8 prosucc glovar 12 vararg 9 vararg 10 depart 0 3 exit xrtable p replace 3 endxrtable endclause clause con_subset 3 16 keyf '.' 2 conslist functor 0 2 firstvar 11 firstvar 12 firstvar 13 enter 16 vararg 13 vararg 11 firvararg 14 firvararg 15 call 1 glovar 15 vararg 11 conslist var 12 var 14 poparg vararg 9 vararg 10 depart 2 5 exit xrtable f - 2 p con_subset 4 p con_subset 5 endxrtable endclause clause con_subset 4 16 keyf '.' 2 conslist functor 0 2 firstvar 12 firstvar 15 firstvar 13 void conslist var 15 firstvar 14 enter 15 vararg 12 vararg 9 call 1 cut 15 vararg 13 vararg 9 vararg 14 vararg 11 depart 2 4 exit xrtable f - 2 p == 2 p con_subset 4 endxrtable endclause clause con_subset 4 12 voidn 2 constnil var 8 return 12 xrtable endxrtable endclause clause con_subset 5 13 keya '[]' constnil voidn 2 var 9 var 10 enter 13 cut 13 exit xrtable endxrtable endclause clause con_subset 5 13 voidn 3 var 9 var 10 return 13 xrtable endxrtable endclause clause con_subset 5 13 enter 13 vararg 8 vararg 11 vararg 12 depart 0 3 exit xrtable p con_subset 3 endxrtable endclause clause fail 0 8 enter 8 fail exit xrtable endxrtable endclause clause integer 1 9 enter 9 proint 8 exit xrtable endxrtable endclause clause atom 1 9 enter 9 proatom 8 exit xrtable endxrtable endclause clause var 1 9 enter 9 provar 8 exit xrtable endxrtable endclause clause nonvar 1 9 enter 9 prononvar 8 exit xrtable endxrtable endclause clause succ 2 10 enter 10 vararg 8 vararg 9 prosucc exit xrtable endxrtable endclause clause arg 3 11 enter 11 vararg 8 vararg 9 vararg 10 proarg exit xrtable endxrtable endclause clause functor 3 11 enter 11 vararg 8 vararg 9 vararg 10 profunctor exit xrtable endxrtable endclause clause = 2 10 enter 10 vararg 8 vararg 9 proequal exit xrtable endxrtable endclause clause atomic 1 9 enter 9 proatomic 8 exit xrtable endxrtable endclause clause =:= 2 12 enter 12 eval 8 10 eval 9 11 pushv 10 pushv 11 exit xrtable endxrtable endclause clause =\= 2 12 enter 12 eval 8 10 eval 9 11 pushv 10 pushv 11 exit xrtable endxrtable endclause clause < 2 12 enter 12 eval 8 10 eval 9 11 pushv 10 pushv 11 exit xrtable endxrtable endclause clause > 2 12 enter 12 eval 8 10 eval 9 11 pushv 10 pushv 11 exit xrtable endxrtable endclause clause =< 2 12 enter 12 eval 8 10 eval 9 11 pushv 10 pushv 11 exit xrtable endxrtable endclause clause >= 2 12 enter 12 eval 8 10 eval 9 11 pushv 10 pushv 11 exit xrtable endxrtable endclause clause is 2 11 enter 11 vararg 9 firvararg 10 call 0 vararg 8 vararg 10 proequal cut 11 exit xrtable p eval 2 endxrtable endclause clause eval 2 10 enter 10 provar 8 immed 41 vararg 8 depart 0 2 exit xrtable p error_handler 2 endxrtable endclause clause eval 2 10 void var 8 enter 10 proint 8 cut 10 exit xrtable endxrtable endclause clause eval 2 11 keya cputime constant 0 enter 11 vararg 9 glofirvar 10 depart 1 2 exit xrtable a cputime p statistics 2 endxrtable endclause clause eval 2 11 keya calls constant 0 enter 11 glofirvar 10 vararg 9 depart 1 2 exit xrtable a calls p statistics 2 endxrtable endclause clause eval 2 14 keyf + 2 functor 0 2 firstvar 10 firstvar 11 enter 14 cut 14 eval 10 12 eval 11 13 pushv 12 pushv 13 result 9 exit xrtable f + 2 endxrtable endclause clause eval 2 14 keyf - 2 functor 0 2 firstvar 10 firstvar 11 enter 14 cut 14 eval 10 12 eval 11 13 pushv 12 pushv 13 result 9 exit xrtable f - 2 endxrtable endclause clause eval 2 14 keyf * 2 functor 0 2 firstvar 10 firstvar 11 enter 14 cut 14 eval 10 12 eval 11 13 pushv 12 pushv 13 result 9 exit xrtable f * 2 endxrtable endclause clause eval 2 14 keyf / 2 functor 0 2 firstvar 10 firstvar 11 enter 14 cut 14 eval 10 12 eval 11 13 pushv 12 pushv 13 result 9 exit xrtable f / 2 endxrtable endclause clause eval 2 14 keyf mod 2 functor 0 2 firstvar 10 firstvar 11 enter 14 cut 14 eval 10 12 eval 11 13 pushv 12 pushv 13 result 9 exit xrtable f mod 2 endxrtable endclause clause eval 2 14 keyf /\ 2 functor 0 2 firstvar 10 firstvar 11 enter 14 eval 10 12 eval 11 13 pushv 12 pushv 13 result 9 exit xrtable f /\ 2 endxrtable endclause clause eval 2 14 keyf \/ 2 functor 0 2 firstvar 10 firstvar 11 enter 14 cut 14 eval 10 12 eval 11 13 pushv 12 pushv 13 result 9 exit xrtable f \/ 2 endxrtable endclause clause eval 2 12 keyf \ 1 functor 0 1 firstvar 10 enter 12 cut 12 eval 10 11 pushv 11 result 9 exit xrtable f \ 1 endxrtable endclause clause eval 2 14 keyf << 2 functor 0 2 firstvar 10 firstvar 11 enter 14 eval 10 12 eval 11 13 pushv 12 pushv 13 result 9 exit xrtable f << 2 endxrtable endclause clause eval 2 14 keyf >> 2 functor 0 2 firstvar 10 firstvar 11 enter 14 cut 14 eval 10 12 eval 11 13 pushv 12 pushv 13 result 9 exit xrtable f >> 2 endxrtable endclause clause eval 2 12 keyf - 1 functor 0 1 firstvar 10 enter 12 cut 12 eval 10 11 pushv 11 result 9 exit xrtable f - 1 endxrtable endclause clause eval 2 12 keyf + 1 functor 0 1 firstvar 10 enter 12 cut 12 eval 10 11 pushv 11 result 9 exit xrtable f + 1 endxrtable endclause clause eval 2 10 keyf '.' 2 conslist var 9 void enter 10 cut 10 proint 9 exit xrtable endxrtable endclause clause eval 2 10 enter 10 immed 40 vararg 8 depart 0 2 exit xrtable p error_handler 2 endxrtable endclause clause numbervars 3 11 keyf '_' 1 functor 0 1 var 9 enter 11 cut 11 vararg 9 vararg 10 prosucc exit xrtable f '_' 1 endxrtable endclause clause numbervars 3 11 voidn 2 var 9 enter 11 proatomic 8 cut 11 exit xrtable endxrtable endclause clause numbervars 3 13 enter 13 vararg 8 firvararg 11 firvararg 12 profunctor immed 0 glovar 12 vararg 8 vararg 9 vararg 10 depart 0 5 exit xrtable p numbervars 5 endxrtable endclause clause numbervars 5 13 void var 8 voidn 2 var 11 enter 13 cut 13 exit xrtable endxrtable endclause clause numbervars 5 16 enter 16 vararg 8 firvararg 13 prosucc vararg 13 vararg 10 firvararg 14 proarg vararg 14 vararg 11 firvararg 15 call 0 cut 16 glovar 13 vararg 9 vararg 10 glovar 15 vararg 12 depart 1 5 exit xrtable p numbervars 3 p numbervars 5 endxrtable endclause clause compare 3 12 enter 12 vararg 9 vararg 10 firvararg 11 call 0 vararg 11 vararg 8 call 1 cut 12 exit xrtable p primcompare 3 p compare 2 endxrtable endclause clause compare 2 10 keyi 0 immed 0 constant 0 return 10 xrtable endxrtable endclause clause compare 2 11 void constant 0 enter 11 eval 8 10 pushv 10 pushb 0 exit xrtable endxrtable endclause clause compare 2 11 void constant 0 enter 11 eval 8 10 pushv 10 pushb 0 exit xrtable endxrtable endclause clause == 2 10 enter 10 vararg 8 vararg 9 immed 0 depart 0 3 exit xrtable p primcompare 3 endxrtable endclause clause \== 2 10 enter 10 vararg 8 vararg 9 immed 0 call 0 cut 10 fail exit xrtable p primcompare 3 endxrtable endclause clause \== 2 10 voidn 2 return 10 xrtable endxrtable endclause clause @< 2 12 enter 12 vararg 8 vararg 9 firvararg 10 call 0 eval 10 11 pushv 11 pushb 0 exit xrtable p primcompare 3 endxrtable endclause clause @> 2 12 enter 12 vararg 8 vararg 9 firvararg 10 call 0 eval 10 11 pushv 11 pushb 0 exit xrtable p primcompare 3 endxrtable endclause clause @=< 2 12 enter 12 vararg 8 vararg 9 firvararg 10 call 0 eval 10 11 pushv 11 pushb 0 exit xrtable p primcompare 3 endxrtable endclause clause @>= 2 12 enter 12 vararg 8 vararg 9 firvararg 10 call 0 eval 10 11 pushv 11 pushb 0 exit xrtable p primcompare 3 endxrtable endclause clause sort 2 13 enter 13 vararg 8 firvararg 10 call 0 vararg 10 vararg 8 firvararg 11 firvararg 12 call 1 glovar 12 vararg 9 proequal exit xrtable p length 2 p sort 4 endxrtable endclause clause sort 4 16 keyi 2 immed 2 conslist firstvar 12 firstvar 13 enter 16 cut 16 vararg 13 firvararg 14 vararg 10 call 0 firvararg 15 vararg 12 vararg 14 call 1 glovar 15 vararg 12 glovar 14 vararg 11 depart 2 4 exit xrtable p comprises 3 p compare 3 p signswap 4 endxrtable endclause clause sort 4 13 keyi 1 immed 1 conslist firstvar 12 var 10 void lastconslist var 12 constnil enter 12 cut 12 exit xrtable endxrtable endclause clause sort 4 12 keyi 0 immed 0 void var 9 constnil enter 12 cut 12 exit xrtable endxrtable endclause clause sort 4 18 enter 18 eval 8 12 pushv 12 pushb 1 firstresult 13 pushv 12 pushv 13 firstresult 14 vararg 13 vararg 9 firvararg 15 firvararg 16 call 0 vararg 14 vararg 15 vararg 10 firvararg 17 call 0 glovar 16 glovar 17 vararg 11 depart 1 3 exit xrtable p sort 4 p merge 3 endxrtable endclause clause signswap 4 12 keya < constant 0 voidn 2 lastconslist var 9 lastconslist var 10 constnil enter 12 cut 12 exit xrtable endxrtable endclause clause signswap 4 12 keya > constant 0 voidn 2 lastconslist var 10 lastconslist var 9 constnil enter 12 cut 12 exit xrtable endxrtable endclause clause signswap 4 12 keya = constant 0 voidn 2 lastconslist var 10 constnil enter 12 cut 12 exit xrtable endxrtable endclause clause merge 3 11 keya '[]' constnil void var 9 enter 11 cut 11 exit xrtable endxrtable endclause clause merge 3 11 void constnil var 8 enter 11 cut 11 exit xrtable endxrtable endclause clause merge 3 20 voidn 2 lastconslist firstvar 11 firstvar 12 enter 20 vararg 8 firvararg 13 firvararg 14 call 0 vararg 9 firvararg 15 firvararg 16 call 0 firvararg 17 vararg 13 vararg 15 call 1 vararg 17 vararg 13 vararg 15 vararg 11 vararg 8 vararg 14 firvararg 18 vararg 9 vararg 16 firvararg 19 call 2 glovar 18 glovar 19 vararg 12 depart 3 3 exit xrtable p comprises 3 p compare 3 p signmerge 10 p merge 3 endxrtable endclause clause signmerge 10 18 keya < constant 0 voidn 2 var 9 voidn 2 var 13 voidn 2 var 15 return 18 xrtable endxrtable endclause clause signmerge 10 18 keya > constant 0 voidn 2 var 10 voidn 2 var 12 voidn 2 var 16 return 18 xrtable endxrtable endclause clause signmerge 10 18 keya = constant 0 voidn 2 var 9 voidn 2 var 13 voidn 2 var 16 return 18 xrtable endxrtable endclause clause comprises 3 11 keyf '.' 2 conslist var 9 var 10 voidn 2 return 11 xrtable endxrtable endclause clause keysort 2 13 enter 13 vararg 8 firvararg 10 call 0 vararg 10 vararg 8 firvararg 11 firvararg 12 call 1 vararg 9 glovar 12 proequal exit xrtable p length 2 p keysort 4 endxrtable endclause clause keysort 4 16 keyi 2 immed 2 conslist firstvar 12 firstvar 13 enter 16 cut 16 vararg 13 firvararg 14 vararg 10 call 0 firvararg 15 vararg 12 vararg 14 call 1 glovar 15 vararg 12 glovar 14 vararg 11 depart 2 4 exit xrtable p comprises 3 p compare_keys 3 p keysignswap 4 endxrtable endclause clause keysort 4 13 keyi 1 immed 1 conslist firstvar 12 var 10 void lastconslist var 12 constnil enter 12 cut 12 exit xrtable endxrtable endclause clause keysort 4 12 keyi 0 immed 0 void var 9 constnil enter 12 cut 12 exit xrtable endxrtable endclause clause keysort 4 18 enter 18 eval 8 12 pushv 12 pushb 1 firstresult 13 pushv 12 pushv 13 firstresult 14 vararg 13 vararg 9 firvararg 15 firvararg 16 call 0 vararg 14 vararg 15 vararg 10 firvararg 17 call 0 glovar 16 glovar 17 vararg 11 depart 1 3 exit xrtable p keysort 4 p keymerge 3 endxrtable endclause clause keysignswap 4 12 keya > constant 0 voidn 2 lastconslist var 10 lastconslist var 9 constnil enter 12 cut 12 exit xrtable endxrtable endclause clause keysignswap 4 12 voidn 3 lastconslist var 9 lastconslist var 10 constnil return 12 xrtable endxrtable endclause clause keymerge 3 11 keya '[]' constnil void var 9 enter 11 cut 11 exit xrtable endxrtable endclause clause keymerge 3 11 void constnil var 8 enter 11 cut 11 exit xrtable endxrtable endclause clause keymerge 3 20 voidn 2 lastconslist firstvar 11 firstvar 12 enter 20 vararg 8 firvararg 13 firvararg 14 call 0 vararg 9 firvararg 15 firvararg 16 call 0 firvararg 17 vararg 13 vararg 15 call 1 vararg 17 vararg 13 vararg 15 vararg 11 vararg 8 vararg 14 firvararg 18 vararg 9 vararg 16 firvararg 19 call 2 glovar 18 glovar 19 vararg 12 depart 3 3 exit xrtable p comprises 3 p compare_keys 3 p keysignmerge 10 p keymerge 3 endxrtable endclause clause keysignmerge 10 18 keya > constant 0 voidn 2 var 10 voidn 2 var 12 voidn 2 var 16 enter 18 cut 18 exit xrtable endxrtable endclause clause keysignmerge 10 18 voidn 3 var 9 voidn 2 var 13 voidn 2 var 15 return 18 xrtable endxrtable endclause clause compare_keys 3 13 void functor 0 2 firstvar 11 void lastfunctor 0 2 firstvar 12 enter 13 vararg 8 vararg 11 vararg 12 depart 1 3 exit xrtable f - 2 p compare 3 endxrtable endclause clause op 3 11 voidn 2 constnil enter 11 cut 11 exit xrtable endxrtable endclause clause op 3 13 voidn 2 lastconslist firstvar 11 firstvar 12 enter 13 cut 13 immed 3 vararg 11 call 0 immed 1 vararg 8 call 0 vararg 9 vararg 8 vararg 11 call 1 vararg 8 vararg 9 vararg 12 depart 2 3 exit xrtable p oplegal 2 p primop 3 p op 3 endxrtable endclause clause op 3 11 enter 11 immed 3 vararg 10 call 0 immed 1 vararg 8 call 0 vararg 9 vararg 8 vararg 10 depart 1 3 exit xrtable p oplegal 2 p primop 3 endxrtable endclause clause oplegal 2 10 keyi 3 immed 3 enter 10 proatom 9 cut 10 exit xrtable endxrtable endclause clause oplegal 2 10 keyi 3 immed 3 enter 10 immed 44 vararg 9 depart 0 2 exit xrtable p error_handler 2 endxrtable endclause clause oplegal 2 11 keyi 1 immed 1 enter 11 proint 9 eval 9 10 pushv 10 pushb 0 pushv 10 pushi 0 cut 11 exit xrtable i 1200 endxrtable endclause clause oplegal 2 10 keyi 1 immed 1 enter 10 immed 42 vararg 9 depart 0 2 exit xrtable p error_handler 2 endxrtable endclause clause primop 3 13 keya fx constant 0 enter 13 firvararg 11 vararg 9 prosucc vararg 10 glovar 11 vararg 9 glofirvar 12 constant 0 constant 1 depart 2 6 exit xrtable a fx a prefix p assop 6 endxrtable endclause clause primop 3 12 keya fy constant 0 enter 12 vararg 10 vararg 9 vararg 9 glofirvar 11 constant 0 constant 1 depart 2 6 exit xrtable a fy a prefix p assop 6 endxrtable endclause clause primop 3 13 keya xf constant 0 enter 13 firvararg 11 vararg 9 prosucc vararg 10 glovar 11 vararg 9 glofirvar 12 constant 0 constant 1 depart 2 6 exit xrtable a xf a postfix p assop 6 endxrtable endclause clause primop 3 12 keya yf constant 0 enter 12 vararg 10 vararg 9 vararg 9 glofirvar 11 constant 0 constant 1 depart 2 6 exit xrtable a yf a postfix p assop 6 endxrtable endclause clause primop 3 12 keya xfy constant 0 enter 12 firvararg 11 vararg 9 prosucc vararg 10 glovar 11 vararg 9 vararg 9 constant 0 constant 1 depart 2 6 exit xrtable a xfy a infix p assop 6 endxrtable endclause clause primop 3 12 keya xfx constant 0 enter 12 firvararg 11 vararg 9 prosucc vararg 10 glovar 11 vararg 9 vararg 11 constant 0 constant 1 depart 2 6 exit xrtable a xfx a infix p assop 6 endxrtable endclause clause primop 3 12 keya yfx constant 0 enter 12 firvararg 11 vararg 9 prosucc vararg 10 vararg 9 vararg 9 glovar 11 constant 0 constant 1 depart 2 6 exit xrtable a yfx a infix p assop 6 endxrtable endclause clause primop 3 11 enter 11 immed 43 vararg 8 depart 0 2 exit xrtable p error_handler 2 endxrtable endclause clause assop 6 14 enter 14 lastfunctor 0 6 var 8 var 9 var 10 var 11 var 12 var 13 call 1 call 2 fail exit xrtable f current_op 6 p call 1 p eraselast 0 endxrtable endclause clause assop 6 14 enter 14 functor 0 6 var 8 var 9 var 10 var 11 var 12 var 13 poparg immed 0 immed 0 call 1 fail exit xrtable f current_op 6 p doassert 3 endxrtable endclause clause assop 6 14 voidn 6 return 14 xrtable endxrtable endclause clause visa 2 11 enter 11 vararg 8 immed 4 firvararg 10 call 0 vararg 9 glovar 10 depart 1 2 exit xrtable p attrib 3 p givproc 2 endxrtable endclause clause attrib 3 11 keya '[]' constnil void var 9 enter 11 cut 11 exit xrtable endxrtable endclause clause attrib 3 17 keyf '.' 2 conslist firstvar 11 firstvar 12 enter 17 vararg 11 firvararg 13 call 0 cut 17 eval 9 14 eval 13 15 pushv 14 pushv 15 firstresult 16 vararg 12 vararg 16 vararg 10 depart 1 3 exit xrtable p keyword 2 p attrib 3 endxrtable endclause clause attrib 3 15 enter 15 vararg 8 firvararg 11 call 0 cut 15 eval 9 12 eval 11 13 pushv 12 pushv 13 firstresult 14 exit xrtable p keyword 2 endxrtable endclause clause attrib 3 11 enter 11 immed 56 vararg 8 depart 0 2 exit xrtable p error_handler 2 endxrtable endclause clause keyword 2 10 keya omni constant 0 immed 1 return 10 xrtable a omni endxrtable endclause clause keyword 2 10 keya sacred constant 0 immed 2 return 10 xrtable a sacred endxrtable endclause clause givproc 2 10 keya '[]' constnil enter 10 cut 10 exit xrtable endxrtable endclause clause givproc 2 13 keyf '.' 2 conslist functor 0 2 firstvar 10 firstvar 11 firstvar 12 enter 13 vararg 10 vararg 11 vararg 9 call 1 cut 13 vararg 10 vararg 11 vararg 9 call 2 vararg 12 vararg 9 depart 3 2 exit xrtable f / 2 p modlegal1 3 p primvisa 3 p givproc 2 endxrtable endclause clause givproc 2 12 keyf / 2 functor 0 2 firstvar 10 firstvar 11 enter 12 vararg 10 vararg 11 vararg 9 call 1 cut 12 vararg 10 vararg 11 vararg 9 depart 2 3 exit xrtable f / 2 p modlegal1 3 p primvisa 3 endxrtable endclause clause givproc 2 10 enter 10 immed 56 lastfunctor 0 2 var 8 var 9 depart 1 2 exit xrtable f ',' 2 p error_handler 2 endxrtable endclause clause import 2 10 keya '[]' constnil enter 10 cut 10 exit xrtable endxrtable endclause clause import 2 13 keyf '.' 2 conslist functor 0 2 firstvar 10 firstvar 11 firstvar 12 enter 13 vararg 10 vararg 11 vararg 9 call 1 cut 13 vararg 10 vararg 11 vararg 9 call 2 vararg 12 vararg 9 depart 3 2 exit xrtable f / 2 p modlegal2 3 p doimport 3 p import 2 endxrtable endclause clause import 2 12 keyf / 2 functor 0 2 firstvar 10 firstvar 11 enter 12 vararg 10 vararg 11 vararg 9 call 1 vararg 10 vararg 11 vararg 9 depart 2 3 exit xrtable f / 2 p modlegal2 3 p doimport 3 endxrtable endclause clause import 2 10 enter 10 immed 57 lastfunctor 0 2 var 8 var 9 depart 1 2 exit xrtable f ',' 2 p error_handler 2 endxrtable endclause clause doimport 3 12 enter 12 vararg 8 vararg 9 vararg 10 firvararg 11 call 0 vararg 11 lastfunctor 1 2 var 8 var 9 call 2 cut 12 exit xrtable p primimport 4 f / 2 p imperr 2 endxrtable endclause clause imperr 2 10 keyi 0 immed 0 enter 10 cut 10 exit xrtable endxrtable endclause clause imperr 2 10 enter 10 vararg 8 vararg 9 depart 0 2 exit xrtable p error_handler 2 endxrtable endclause clause modlegal1 3 11 enter 11 proatom 8 proint 9 proint 10 exit xrtable endxrtable endclause clause modlegal2 3 11 enter 11 proatom 8 proint 9 proatom 10 exit xrtable endxrtable endclause clause module 1 10 enter 10 vararg 8 firvararg 9 call 0 vararg 9 vararg 8 call 1 cut 10 exit xrtable p primmodule 2 p moderr 2 endxrtable endclause clause moderr 2 10 keyi 0 immed 0 enter 10 cut 10 exit xrtable endxrtable endclause clause moderr 2 10 enter 10 vararg 8 vararg 9 depart 0 2 exit xrtable p error_handler 2 endxrtable endclause clause endmodule 1 9 enter 9 vararg 8 call 0 cut 9 exit xrtable p primendmodule 1 endxrtable endclause clause endmodule 1 9 enter 9 immed 65 vararg 8 depart 0 2 exit xrtable p error_handler 2 endxrtable endclause clause length 2 10 enter 10 prononvar 8 cut 10 vararg 8 vararg 9 depart 0 2 exit xrtable p primlen 2 endxrtable endclause clause length 2 10 enter 10 vararg 8 vararg 9 depart 0 2 exit xrtable p slowlen 2 endxrtable endclause clause slowlen 2 10 keya '[]' constnil immed 0 enter 10 cut 10 exit xrtable endxrtable endclause clause slowlen 2 12 keyf '.' 2 conslist void firstvar 10 enter 12 firvararg 11 vararg 9 prosucc vararg 10 glovar 11 depart 0 2 exit xrtable p slowlen 2 endxrtable endclause clause =.. 2 13 void lastconslist firstvar 10 firstvar 11 enter 13 prononvar 8 cut 13 vararg 8 vararg 10 firvararg 12 profunctor glovar 12 vararg 8 constnil vararg 11 depart 0 4 exit xrtable p arglist 4 endxrtable endclause clause =.. 2 13 void lastconslist firstvar 10 firstvar 11 enter 13 proatom 10 cut 13 vararg 11 firvararg 12 call 0 vararg 8 vararg 10 vararg 12 profunctor glovar 12 vararg 8 constnil vararg 11 depart 1 4 exit xrtable p primlen 2 p arglist 4 endxrtable endclause clause arglist 4 12 keyi 0 immed 0 voidn 2 var 10 enter 12 cut 12 exit xrtable endxrtable endclause clause arglist 4 14 enter 14 vararg 8 vararg 9 firvararg 12 proarg firvararg 13 vararg 8 prosucc glovar 13 vararg 9 conslist var 12 var 10 poparg vararg 11 depart 0 4 exit xrtable p arglist 4 endxrtable endclause clause see 1 9 enter 9 vararg 8 call 0 cut 9 exit xrtable p primsee 1 endxrtable endclause clause see 1 9 enter 9 immed 35 vararg 8 depart 0 2 exit xrtable p error_handler 2 endxrtable endclause clause tell 1 9 enter 9 vararg 8 call 0 cut 9 exit xrtable p primtell 1 endxrtable endclause clause tell 1 9 enter 9 immed 35 vararg 8 depart 0 2 exit xrtable p error_handler 2 endxrtable endclause clause seeing 1 13 enter 13 immed 1 vararg 8 glofirvar 9 glofirvar 10 glofirvar 11 glofirvar 12 depart 0 6 exit xrtable p get_file_status 6 endxrtable endclause clause telling 1 13 enter 13 immed 0 vararg 8 glofirvar 9 glofirvar 10 glofirvar 11 glofirvar 12 depart 0 6 exit xrtable p get_file_status 6 endxrtable endclause clause put 1 11 enter 11 eval 8 9 pushv 9 firstresult 10 vararg 10 depart 0 1 exit xrtable p primput 1 endxrtable endclause clause nl 0 8 enter 8 immed 10 depart 0 1 exit xrtable p primput 1 endxrtable endclause clause tab 1 11 enter 11 eval 8 9 pushv 9 firstresult 10 vararg 10 depart 0 1 exit xrtable p tabn 1 endxrtable endclause clause tabn 1 9 keyi 0 immed 0 enter 9 cut 9 exit xrtable endxrtable endclause clause tabn 1 10 enter 10 immed 32 call 0 firvararg 9 vararg 8 prosucc glovar 9 depart 1 1 exit xrtable p primput 1 p tabn 1 endxrtable endclause clause tokenput 1 9 enter 9 vararg 8 immed 0 depart 0 2 exit xrtable p tokenput 2 endxrtable endclause clause tokenquote 1 9 enter 9 vararg 8 immed 1 depart 0 2 exit xrtable p tokenput 2 endxrtable endclause clause save 1 10 enter 10 vararg 8 glofirvar 9 depart 0 2 exit xrtable p save 2 endxrtable endclause clause writedepth 2 18 enter 18 immed 0 firvararg 10 firvararg 11 firvararg 12 firvararg 13 vararg 8 call 0 immed 0 glofirvar 14 glofirvar 15 glofirvar 16 glofirvar 17 vararg 9 depart 1 6 exit xrtable p get_file_status 6 p put_file_status 6 endxrtable endclause clause writewidth 2 18 enter 18 immed 0 firvararg 10 firvararg 11 firvararg 12 vararg 8 firvararg 13 call 0 immed 0 glofirvar 14 glofirvar 15 glofirvar 16 vararg 9 glofirvar 17 depart 1 6 exit xrtable p get_file_status 6 p put_file_status 6 endxrtable endclause clause conlist 1 9 keya '[]' constnil enter 9 cut 9 exit xrtable endxrtable endclause clause conlist 1 11 keyf '.' 2 lastconslist firstvar 9 firstvar 10 enter 11 cut 11 vararg 9 call 0 vararg 10 depart 0 1 exit xrtable p conlist 1 endxrtable endclause clause conlist 1 10 enter 10 vararg 8 call 0 firvararg 9 call 1 constant 2 call 3 vararg 8 call 4 constant 5 call 6 call 7 glovar 9 depart 3 1 exit xrtable p consult 1 p telling 1 a user p tell 1 p write 1 a ' consulted.' p tokenput 1 p nl 0 endxrtable endclause clause consult 1 9 enter 9 provar 8 constant 0 call 1 call 2 cut 9 exit xrtable a 'argument of consult must be instantiated' p tokenput 1 p nl 0 endxrtable endclause clause consult 1 12 keya user constant 0 enter 12 cut 12 firvararg 9 call 1 constant 0 call 2 call 3 constant 4 call 5 firvararg 10 firvararg 11 call 6 vararg 10 vararg 11 immed 0 call 7 call 8 vararg 9 call 2 call 9 cut 12 exit xrtable a user p seeing 1 p see 1 p repeat 0 a ': ' p tokenput 1 p read 2 p process 3 p seen 0 p nl 0 endxrtable endclause clause consult 1 12 enter 12 firvararg 9 call 0 vararg 8 call 1 call 2 firvararg 10 firvararg 11 call 3 vararg 10 vararg 11 immed 0 call 4 call 5 vararg 9 call 1 cut 12 exit xrtable p seeing 1 p see 1 p repeat 0 p read 2 p process 3 p seen 0 endxrtable endclause clause compile 1 9 keya '[]' constnil enter 9 cut 9 exit xrtable endxrtable endclause clause compile 1 11 keyf '.' 2 lastconslist firstvar 9 firstvar 10 enter 11 vararg 9 call 0 vararg 10 depart 0 1 exit xrtable p compile 1 endxrtable endclause clause compile 1 12 enter 12 firvararg 9 call 0 vararg 8 call 1 call 2 firvararg 10 call 3 vararg 10 constnil immed 1 call 4 call 5 firvararg 11 call 6 constant 7 call 8 vararg 8 call 9 constant 10 call 9 call 11 vararg 11 call 8 glovar 9 depart 1 1 exit xrtable p seeing 1 p see 1 p repeat 0 p read 1 p process 3 p seen 0 p telling 1 a user p tell 1 p tokenput 1 a ' compiled.' p nl 0 endxrtable endclause clause process 3 11 enter 11 provar 8 immed 48 vararg 8 call 0 cut 11 fail exit xrtable p warning 2 endxrtable endclause clause process 3 11 keya end_of_file constant 0 enter 11 cut 11 exit xrtable a end_of_file endxrtable endclause clause process 3 12 keyf ?- 1 functor 0 1 firstvar 11 enter 12 cut 12 vararg 11 call 1 cut 12 fail exit xrtable f ?- 1 p pro_query 1 endxrtable endclause clause process 3 12 keyf :- 1 functor 0 1 firstvar 11 enter 12 cut 12 vararg 11 call 1 cut 12 fail exit xrtable f :- 1 p pro_query 1 endxrtable endclause clause process 3 14 keyf --> 2 functor 0 2 firstvar 11 constnil enter 14 cut 14 vararg 11 firvararg 12 vararg 12 firvararg 13 call 1 glovar 13 depart 2 1 exit xrtable f --> 2 p g_head 4 p semiassert 1 endxrtable endclause clause process 3 18 keyf --> 2 functor 0 2 firstvar 11 firstvar 12 enter 18 cut 18 vararg 11 firvararg 13 firvararg 14 firvararg 15 call 1 vararg 12 vararg 13 vararg 14 firvararg 16 call 2 vararg 16 firvararg 17 call 3 lastfunctor 4 2 var 15 var 17 depart 5 1 exit xrtable f --> 2 p g_head 4 p g_body 4 p g_tidy 2 f :- 2 p semiassert 1 endxrtable endclause clause process 3 11 voidn 2 immed 0 enter 11 cut 11 vararg 8 call 0 vararg 8 vararg 9 depart 1 2 exit xrtable p legal_clause 1 p fullassert 2 endxrtable endclause clause process 3 11 voidn 2 immed 1 enter 11 cut 11 vararg 8 call 0 vararg 8 depart 1 1 exit xrtable p legal_clause 1 p semiassert 1 endxrtable endclause clause pro_query 1 11 keyf '.' 2 lastconslist firstvar 9 firstvar 10 enter 11 cut 11 vararg 9 call 0 vararg 10 depart 0 1 exit xrtable p conlist 1 endxrtable endclause clause pro_query 1 9 keyf mode 1 lastfunctor 0 1 enter 9 cut 9 exit xrtable f mode 1 endxrtable endclause clause pro_query 1 9 keyf public 1 lastfunctor 0 1 enter 9 cut 9 exit xrtable f public 1 endxrtable endclause clause pro_query 1 9 enter 9 cut 9 callx 8 exit xrtable endxrtable endclause clause fullassert 2 11 enter 11 vararg 8 firvararg 10 call 0 vararg 10 immed 0 immed 0 call 1 fail exit xrtable p expand 2 p doassert 3 endxrtable endclause clause fullassert 2 15 enter 15 firvararg 10 firvararg 11 firvararg 12 call 0 vararg 8 firvararg 13 firvararg 14 call 1 functor 2 6 var 10 var 11 var 13 var 14 var 9 var 12 poparg immed 0 immed 1 call 3 fail exit xrtable p primcom8 3 p dest_clause 3 f '%source%' 6 p compassunit 3 endxrtable endclause clause semiassert 1 10 enter 10 vararg 8 firvararg 9 call 0 vararg 9 immed 0 immed 0 call 1 fail exit xrtable p expand 2 p doassert 3 endxrtable endclause clause warning 2 17 enter 17 firvararg 10 call 0 constant 1 call 2 constant 3 call 4 vararg 8 firvararg 11 call 5 vararg 11 call 4 call 6 constant 7 call 4 vararg 9 call 8 call 6 immed 1 firvararg 12 firvararg 13 firvararg 14 firvararg 15 firvararg 16 call 9 vararg 12 vararg 13 vararg 14 call 10 call 6 vararg 10 call 2 cut 17 exit xrtable p telling 1 a user p tell 1 a 'Warning: ' p tokenput 1 p error_message 2 p nl 0 a 'Culprit: ' p write 1 p get_file_status 6 p read_info 3 endxrtable endclause clause read_info 3 11 keya user constant 0 enter 11 cut 11 constant 1 depart 2 1 exit xrtable a user a 'Type input again.' p tokenput 1 endxrtable endclause clause read_info 3 11 enter 11 constant 0 call 1 vararg 10 call 1 constant 2 call 1 vararg 9 call 1 constant 3 call 1 vararg 8 depart 1 1 exit xrtable a ' in column ' p tokenput 1 a ' of line ' a ' of file ' endxrtable endclause clause error_message 2 10 keyi 1 immed 1 constant 0 return 10 xrtable a 'operator expected after expression' endxrtable endclause clause error_message 2 10 keyi 2 immed 2 constant 0 return 10 xrtable a 'token or operator expected' endxrtable endclause clause error_message 2 10 keyi 3 immed 3 constant 0 return 10 xrtable a 'expression expected' endxrtable endclause clause error_message 2 10 keyi 4 immed 4 constant 0 return 10 xrtable a 'token cannot start an expression' endxrtable endclause clause error_message 2 10 keyi 5 immed 5 constant 0 return 10 xrtable a 'comma or closing round bracket expected' endxrtable endclause clause error_message 2 10 keyi 6 immed 6 constant 0 return 10 xrtable a 'vertical bar or closing square bracket expected' endxrtable endclause clause error_message 2 10 keyi 7 immed 7 constant 0 return 10 xrtable a 'incorrect position for prefix operator' endxrtable endclause clause error_message 2 10 keyi 8 immed 8 constant 0 return 10 xrtable a 'incorrect position for culprit' endxrtable endclause clause error_message 2 10 keyi 35 immed 35 constant 0 return 10 xrtable a 'host will not permit file to be opened' endxrtable endclause clause error_message 2 10 keyi 39 immed 39 constant 0 return 10 xrtable a 'free variables in Culprit in attempting to prove not(Culprit)' endxrtable endclause clause error_message 2 10 keyi 40 immed 40 constant 0 return 10 xrtable a 'functor without arithmetic interpretation found within second argument of "is"' endxrtable endclause clause error_message 2 10 keyi 41 immed 41 constant 0 return 10 xrtable a 'improper argument of arithmetic expression' endxrtable endclause clause error_message 2 10 keyi 42 immed 42 constant 0 return 10 xrtable a 'improper first argument for "op"' endxrtable endclause clause error_message 2 10 keyi 43 immed 43 constant 0 return 10 xrtable a 'improper second argument for "op"' endxrtable endclause clause error_message 2 10 keyi 44 immed 44 constant 0 return 10 xrtable a 'improper third argument for "op"' endxrtable endclause clause error_message 2 10 keyi 45 immed 45 constant 0 return 10 xrtable a 'illegal attempt to modify a sacred procedure' endxrtable endclause clause error_message 2 10 keyi 46 immed 46 constant 0 return 10 xrtable a 'XR table overflow' endxrtable endclause clause error_message 2 10 keyi 47 immed 47 constant 0 return 10 xrtable a 'emitcode table overflow' endxrtable endclause clause error_message 2 10 keyi 48 immed 48 constant 0 return 10 xrtable a 'this term is not a valid clause' endxrtable endclause clause error_message 2 10 keyi 51 immed 51 constant 0 return 10 xrtable a 'an integer is not a valid goal. "fail" substituted.' endxrtable endclause clause error_message 2 10 keyi 52 immed 52 constant 0 return 10 xrtable a 'unknown opcode generated (system error)' endxrtable endclause clause error_message 2 10 keyi 54 immed 54 constant 0 return 10 xrtable a 'attempt to execute unknown procedure' endxrtable endclause clause error_message 2 10 keyi 56 immed 56 constant 0 return 10 xrtable a 'improper visa specification' endxrtable endclause clause error_message 2 10 keyi 57 immed 57 constant 0 return 10 xrtable a 'improper import specification' endxrtable endclause clause error_message 2 10 keyi 59 immed 59 constant 0 return 10 xrtable a 'no such procedure is defined' endxrtable endclause clause error_message 2 10 keyi 60 immed 60 constant 0 return 10 xrtable a 'procedure already declared visible in all modules' endxrtable endclause clause error_message 2 10 keyi 61 immed 61 constant 0 return 10 xrtable a 'procedure already declared visible in this module' endxrtable endclause clause error_message 2 10 keyi 62 immed 62 constant 0 return 10 xrtable a 'permission not granted to import this procedure' endxrtable endclause clause error_message 2 10 keyi 63 immed 63 constant 0 return 10 xrtable a 'module already entered' endxrtable endclause clause error_message 2 10 keyi 64 immed 64 constant 0 return 10 xrtable a 'modules nested too deeply' endxrtable endclause clause error_message 2 10 keyi 65 immed 65 constant 0 return 10 xrtable a 'module-endmodule mismatch' endxrtable endclause clause error_message 2 10 keyi 66 immed 66 constant 0 return 10 xrtable a 'global stack exhausted (resource limit)' endxrtable endclause clause error_message 2 10 keyi 67 immed 67 constant 0 return 10 xrtable a 'heap space exhausted (resource limit)' endxrtable endclause clause error_message 2 10 keyi 68 immed 68 constant 0 return 10 xrtable a 'trail space exhausted (resource limit)' endxrtable endclause clause error_message 2 10 keyi 69 immed 69 constant 0 return 10 xrtable a 'local space exhausted' endxrtable endclause clause error_message 2 10 keyi 70 immed 70 constant 0 return 10 xrtable a 'compiler detects unlikely goal' endxrtable endclause clause error_message 2 10 keyi 71 immed 71 constant 0 return 10 xrtable a 'this clause will be ignored' endxrtable endclause clause error_message 2 10 void var 8 return 10 xrtable endxrtable endclause clause g_head 4 15 keyf ',' 2 functor 0 2 firstvar 12 firstvar 13 enter 15 cut 15 vararg 13 vararg 10 firvararg 14 call 1 conslist var 9 conslist var 14 constnil poparg poparg vararg 12 vararg 11 depart 2 3 exit xrtable f ',' 2 p append 3 p extend 3 endxrtable endclause clause g_head 4 12 enter 12 conslist var 9 conslist var 10 constnil poparg poparg vararg 8 vararg 11 depart 0 3 exit xrtable p extend 3 endxrtable endclause clause g_body 4 12 keya ! constant 0 void var 9 constant 0 enter 12 cut 12 exit xrtable endxrtable endclause clause g_body 4 12 keya '[]' constnil voidn 2 lastfunctor 0 2 var 9 var 10 enter 12 cut 12 exit xrtable f = 2 endxrtable endclause clause g_body 4 13 keyf '.' 2 conslist firstvar 12 constnil voidn 2 lastfunctor 0 3 var 9 var 12 var 10 enter 12 cut 12 exit xrtable f 'C' 3 endxrtable endclause clause g_body 4 16 keyf '.' 2 conslist firstvar 15 firstvar 12 voidn 2 lastfunctor 0 2 functor 1 3 var 9 var 15 firstvar 13 firstvar 14 enter 15 cut 15 vararg 12 vararg 13 vararg 10 vararg 14 depart 2 4 exit xrtable f ',' 2 f 'C' 3 p g_body 4 endxrtable endclause clause g_body 4 12 keyf '{}' 1 functor 0 1 var 11 void var 9 enter 12 cut 12 exit xrtable f '{}' 1 endxrtable endclause clause g_body 4 17 keyf ',' 2 functor 0 2 firstvar 12 firstvar 13 voidn 2 lastfunctor 0 2 firstvar 14 firstvar 15 enter 17 cut 17 vararg 12 vararg 9 firvararg 16 vararg 14 call 1 vararg 13 glovar 16 vararg 10 vararg 15 depart 1 4 exit xrtable f ',' 2 p g_body 4 endxrtable endclause clause g_body 4 20 keyf ; 2 functor 0 2 firstvar 12 firstvar 13 voidn 2 lastfunctor 0 2 firstvar 14 firstvar 15 enter 20 cut 20 vararg 12 vararg 9 firvararg 16 firvararg 17 call 1 vararg 9 vararg 10 vararg 16 vararg 17 vararg 14 call 2 vararg 13 vararg 9 firvararg 18 firvararg 19 call 1 vararg 9 vararg 10 glovar 18 glovar 19 vararg 15 depart 2 5 exit xrtable f ; 2 p g_body 4 p g_fill 5 endxrtable endclause clause g_body 4 12 enter 12 conslist var 9 conslist var 10 constnil poparg poparg vararg 8 vararg 11 depart 0 3 exit xrtable p extend 3 endxrtable endclause clause g_fill 5 13 voidn 4 lastfunctor 0 2 var 11 lastfunctor 1 2 var 9 var 8 enter 13 vararg 10 vararg 8 call 2 cut 13 exit xrtable f ',' 2 f = 2 p == 2 endxrtable endclause clause g_fill 5 13 voidn 2 var 9 void var 11 return 13 xrtable endxrtable endclause clause extend 3 13 enter 13 vararg 9 firvararg 11 call 0 vararg 11 vararg 8 firvararg 12 call 1 vararg 10 glovar 12 depart 0 2 exit xrtable p =.. 2 p append 3 endxrtable endclause clause append 3 11 keya '[]' constnil void var 9 enter 11 cut 11 exit xrtable endxrtable endclause clause append 3 14 keyf '.' 2 conslist firstvar 13 firstvar 11 void lastconslist var 13 firstvar 12 enter 13 vararg 11 vararg 9 vararg 12 depart 0 3 exit xrtable p append 3 endxrtable endclause clause g_tidy 2 14 keyf ; 2 functor 0 2 firstvar 10 firstvar 11 lastfunctor 0 2 firstvar 12 firstvar 13 enter 14 cut 14 vararg 10 vararg 12 call 1 vararg 11 vararg 13 depart 1 2 exit xrtable f ; 2 p g_tidy 2 endxrtable endclause clause g_tidy 2 13 keyf ',' 2 functor 0 2 functor 0 2 firstvar 10 firstvar 11 firstvar 12 enter 13 functor 0 2 var 10 functor 0 2 var 11 var 12 poparg poparg vararg 9 depart 1 2 exit xrtable f ',' 2 p g_tidy 2 endxrtable endclause clause g_tidy 2 14 keyf ',' 2 functor 0 2 firstvar 10 firstvar 11 lastfunctor 0 2 firstvar 12 firstvar 13 enter 14 cut 14 vararg 10 vararg 12 call 1 vararg 11 vararg 13 depart 1 2 exit xrtable f ',' 2 p g_tidy 2 endxrtable endclause clause g_tidy 2 10 void var 8 return 10 xrtable endxrtable endclause clause 'C' 3 11 keyf '.' 2 conslist var 9 var 10 voidn 2 return 11 xrtable endxrtable endclause clause phrase 2 11 enter 11 vararg 8 vararg 9 constnil firvararg 10 call 0 cut 11 callx 10 exit xrtable p g_body 4 endxrtable endclause clause expand 2 14 keyf :- 2 functor 0 2 firstvar 13 firstvar 10 lastfunctor 0 2 var 13 firstvar 11 enter 13 vararg 10 constnil vararg 11 constnil firvararg 12 call 1 cut 13 exit xrtable f :- 2 p cb 5 endxrtable endclause clause expand 2 10 void var 8 return 10 xrtable endxrtable endclause clause cb 5 13 voidn 2 conslist var 8 var 11 void var 9 enter 13 provar 8 cut 13 exit xrtable endxrtable endclause clause cb 5 17 keyf ',' 2 functor 0 2 firstvar 13 firstvar 14 enter 17 cut 17 vararg 13 vararg 9 vararg 10 firvararg 15 firvararg 16 call 1 vararg 14 glovar 16 glovar 15 vararg 11 vararg 12 depart 1 5 exit xrtable f ',' 2 p cb 5 endxrtable endclause clause cb 5 19 keyf ; 2 functor 0 2 firstvar 13 firstvar 14 void conslist functor 0 2 firstvar 15 firstvar 16 var 11 void var 9 enter 19 cut 19 vararg 13 vararg 9 vararg 15 constnil firvararg 17 call 1 vararg 14 vararg 9 vararg 16 constnil glofirvar 18 depart 1 5 exit xrtable f ; 2 p cb 5 endxrtable endclause clause cb 5 20 keyf -> 2 functor 0 2 firstvar 13 firstvar 14 void conslist functor 0 2 firstvar 15 firstvar 16 var 11 void var 9 enter 20 cut 20 vararg 13 firvararg 17 vararg 15 constnil firvararg 18 call 1 vararg 14 glovar 18 vararg 16 constnil glofirvar 19 depart 1 5 exit xrtable f -> 2 p cb 5 endxrtable endclause clause cb 5 13 enter 13 vararg 8 vararg 9 vararg 10 vararg 11 vararg 12 depart 0 5 exit xrtable p cg 5 endxrtable endclause clause cg 5 18 keyf is 2 functor 0 2 firstvar 13 firstvar 14 enter 18 provar 13 vararg 13 vararg 9 firvararg 15 call 1 cut 18 vararg 14 vararg 10 firvararg 16 vararg 16 firvararg 17 vararg 9 vararg 12 call 2 glovar 17 lastconslist functor 3 1 var 15 poparg lastconslist constant 4 var 11 proequal exit xrtable f is 2 p asschk 3 p c 7 f '%pushv%' 1 a '%inteq%' endxrtable endclause clause cg 5 18 keyf is 2 functor 0 2 firstvar 13 firstvar 14 voidn 3 lastconslist conslist var 13 var 13 firstvar 15 enter 18 provar 13 cut 18 vararg 14 vararg 10 firvararg 16 vararg 16 firvararg 17 vararg 9 vararg 15 call 1 glovar 17 lastconslist functor 2 1 var 13 poparg var 11 proequal exit xrtable f is 2 p c 7 f '%result%' 1 endxrtable endclause clause cg 5 20 keyf is 2 functor 0 2 firstvar 13 firstvar 14 enter 20 cut 20 vararg 13 vararg 10 firvararg 15 firvararg 16 firvararg 17 vararg 9 firvararg 18 call 1 vararg 14 vararg 15 vararg 16 vararg 17 firvararg 19 vararg 18 vararg 12 call 1 glovar 19 lastconslist constant 2 var 11 proequal exit xrtable f is 2 p c 7 a '%inteq%' endxrtable endclause clause cg 5 22 enter 22 vararg 8 firvararg 13 firvararg 14 firvararg 15 firvararg 16 call 0 cut 22 vararg 13 vararg 10 firvararg 17 firvararg 18 firvararg 19 vararg 9 firvararg 20 call 1 vararg 14 vararg 17 vararg 18 vararg 19 firvararg 21 vararg 20 vararg 12 call 1 glovar 21 lastconslist var 15 var 11 proequal exit xrtable p compop 5 p c 7 endxrtable endclause clause cg 5 13 voidn 2 conslist var 8 var 11 void var 9 return 13 xrtable endxrtable endclause clause c 7 16 voidn 2 var 9 conslist firstvar 15 var 12 voidn 2 var 13 enter 16 proint 8 cut 16 vararg 8 vararg 15 depart 0 2 exit xrtable p pushint 2 endxrtable endclause clause c 7 16 voidn 3 conslist functor 0 1 firstvar 15 var 12 enter 16 provar 8 cut 16 vararg 8 vararg 13 vararg 9 vararg 10 vararg 15 vararg 14 depart 1 6 exit xrtable f '%pushv%' 1 p assoc 6 endxrtable endclause clause c 7 23 enter 23 vararg 8 firvararg 15 firvararg 16 firvararg 17 firvararg 18 call 0 cut 23 vararg 15 vararg 9 firvararg 19 vararg 11 firvararg 20 vararg 13 firvararg 21 call 1 vararg 16 vararg 19 vararg 10 vararg 20 firvararg 22 vararg 21 vararg 14 call 1 glovar 22 lastconslist var 17 var 12 proequal exit xrtable p binop 5 p c 7 endxrtable endclause clause c 7 19 enter 19 vararg 8 firvararg 15 firvararg 16 firvararg 17 call 0 cut 19 vararg 15 vararg 9 vararg 10 vararg 11 firvararg 18 vararg 13 vararg 14 call 1 glovar 18 lastconslist var 16 var 12 proequal exit xrtable p unop 4 p c 7 endxrtable endclause clause c 7 16 void conslist functor 0 2 firstvar 15 var 8 var 10 void conslist functor 1 1 var 15 var 12 voidn 2 var 13 return 15 xrtable f is 2 f '%pushv%' 1 endxrtable endclause clause pushint 2 11 void lastfunctor 0 1 var 8 enter 11 eval 8 10 pushv 10 pushb 0 pushv 10 pushb 255 cut 11 exit xrtable f '%pushb%' 1 endxrtable endclause clause pushint 2 10 void lastfunctor 0 1 var 8 return 10 xrtable f '%pushi%' 1 endxrtable endclause clause asschk 3 12 void conslist conslist firstvar 11 var 10 void enter 12 vararg 8 vararg 11 call 0 cut 12 exit xrtable p == 2 endxrtable endclause clause asschk 3 12 void conslist void firstvar 11 enter 12 vararg 8 vararg 11 vararg 10 depart 0 3 exit xrtable p asschk 3 endxrtable endclause clause assoc 6 14 void constnil conslist functor 0 2 var 8 var 12 var 11 voidn 2 lastconslist conslist var 8 var 12 constnil enter 14 cut 14 exit xrtable f '%eval%' 2 endxrtable endclause clause assoc 6 16 void conslist conslist firstvar 14 var 12 firstvar 15 void var 10 void lastconslist conslist var 14 var 12 var 15 enter 15 vararg 8 vararg 14 call 0 cut 15 exit xrtable p == 2 endxrtable endclause clause assoc 6 17 void conslist firstvar 16 firstvar 14 voidn 3 lastconslist var 16 firstvar 15 enter 16 vararg 8 vararg 14 vararg 10 vararg 11 vararg 12 vararg 15 depart 0 6 exit xrtable p assoc 6 endxrtable endclause clause binop 5 13 keyf + 2 functor 0 2 var 9 var 10 voidn 2 constant 1 constant 2 return 13 xrtable f + 2 a '%add%' a add endxrtable endclause clause binop 5 13 keyf - 2 functor 0 2 var 9 var 10 voidn 2 constant 1 constant 2 return 13 xrtable f - 2 a '%sub%' a sub endxrtable endclause clause binop 5 13 keyf / 2 functor 0 2 var 9 var 10 voidn 2 constant 1 constant 2 return 13 xrtable f / 2 a '%div%' a div endxrtable endclause clause binop 5 13 keyf * 2 functor 0 2 var 9 var 10 voidn 2 constant 1 constant 2 return 13 xrtable f * 2 a '%mul%' a mul endxrtable endclause clause binop 5 13 keyf mod 2 functor 0 2 var 9 var 10 voidn 2 constant 1 constant 2 return 13 xrtable f mod 2 a '%mod%' a mod endxrtable endclause clause binop 5 13 keyf /\ 2 functor 0 2 var 9 var 10 voidn 2 constant 1 constant 2 return 13 xrtable f /\ 2 a '%and%' a and endxrtable endclause clause binop 5 13 keyf \/ 2 functor 0 2 var 9 var 10 voidn 2 constant 1 constant 2 return 13 xrtable f \/ 2 a '%or%' a or endxrtable endclause clause binop 5 13 keyf << 2 functor 0 2 var 9 var 10 voidn 2 constant 1 constant 2 return 13 xrtable f << 2 a '%shl%' a shl endxrtable endclause clause binop 5 13 keyf >> 2 functor 0 2 var 9 var 10 voidn 2 constant 1 constant 2 return 13 xrtable f >> 2 a '%shr%' a shr endxrtable endclause clause unop 4 12 keyf + 1 functor 0 1 var 9 void constant 1 void return 12 xrtable f + 1 a true endxrtable endclause clause unop 4 12 keyf - 1 functor 0 1 var 9 void constant 1 constant 2 return 12 xrtable f - 1 a '%neg%' a neg endxrtable endclause clause unop 4 12 keyf \ 1 functor 0 1 var 9 void constant 1 constant 2 return 12 xrtable f \ 1 a '%not%' a not endxrtable endclause clause compop 5 13 keyf =:= 2 functor 0 2 var 9 var 10 voidn 2 constant 1 constant 2 return 13 xrtable f =:= 2 a '%inteq%' a eq endxrtable endclause clause compop 5 13 keyf =\= 2 functor 0 2 var 9 var 10 voidn 2 constant 1 constant 2 return 13 xrtable f =\= 2 a '%intne%' a ne endxrtable endclause clause compop 5 13 keyf < 2 functor 0 2 var 9 var 10 voidn 2 constant 1 constant 2 return 13 xrtable f < 2 a '%intlt%' a lt endxrtable endclause clause compop 5 13 keyf > 2 functor 0 2 var 9 var 10 voidn 2 constant 1 constant 2 return 13 xrtable f > 2 a '%intgt%' a gt endxrtable endclause clause compop 5 13 keyf =< 2 functor 0 2 var 9 var 10 voidn 2 constant 1 constant 2 return 13 xrtable f =< 2 a '%intle%' a le endxrtable endclause clause compop 5 13 keyf >= 2 functor 0 2 var 9 var 10 voidn 2 constant 1 constant 2 return 13 xrtable f >= 2 a '%intge%' a ge endxrtable endclause clause compassunit 3 30 enter 30 call 0 vararg 8 firvararg 11 firvararg 12 profunctor immed 0 vararg 12 constant 1 constant 2 vararg 8 firvararg 13 firvararg 14 call 3 vararg 13 immed 0 firvararg 15 immed 0 firvararg 16 call 4 firvararg 17 call 5 eval 17 18 eval 12 19 pushv 18 pushv 19 firstresult 20 eval 15 21 pushv 20 pushv 21 firstresult 22 eval 16 23 pushv 22 pushv 23 firstresult 24 vararg 13 vararg 20 vararg 22 call 6 immed 0 vararg 12 immed 0 vararg 8 constant 1 constant 2 firvararg 25 lastconslist functor 7 1 var 22 poparg constnil call 8 call 0 vararg 25 firvararg 26 constnil call 9 immed 1 vararg 8 firvararg 27 proarg vararg 27 firvararg 28 firvararg 29 call 10 vararg 11 vararg 12 vararg 28 vararg 29 vararg 24 vararg 26 vararg 9 vararg 10 call 11 cut 30 exit xrtable p primcom0 0 a head a outer p do_var_each 7 p assign_var_types 5 p actsize 1 p assign_offsets 3 f return 1 p c_term 8 p assemble 3 p findkey 3 p primcom3 8 endxrtable endclause clause legal_clause 1 11 enter 11 vararg 8 firvararg 9 firvararg 10 call 0 vararg 9 call 1 cut 11 exit xrtable p dest_clause 3 p test_head 1 endxrtable endclause clause legal_clause 1 9 enter 9 depart 0 0 exit xrtable p primcom12 0 endxrtable endclause clause test_head 1 9 enter 9 proatom 8 cut 9 vararg 8 immed 0 depart 0 2 exit xrtable p test_proc 2 endxrtable endclause clause test_head 1 9 enter 9 vararg 8 call 0 immed 48 vararg 8 call 1 cut 9 fail exit xrtable p simpleterm 1 p warning 2 endxrtable endclause clause test_head 1 11 enter 11 vararg 8 firvararg 9 firvararg 10 profunctor glovar 9 glovar 10 depart 0 2 exit xrtable p test_proc 2 endxrtable endclause clause test_proc 2 10 enter 10 vararg 8 vararg 9 depart 0 2 exit xrtable p primcom11 2 endxrtable endclause clause test_proc 2 10 enter 10 immed 45 lastfunctor 0 2 var 8 var 9 call 1 fail exit xrtable f / 2 p warning 2 endxrtable endclause clause dest_clause 3 11 keyf :- 2 functor 0 2 var 9 var 10 enter 11 cut 11 exit xrtable f :- 2 endxrtable endclause clause dest_clause 3 11 void var 8 constant 0 return 11 xrtable a true endxrtable endclause clause findkey 4 12 keyi 0 immed 0 enter 12 cut 12 exit xrtable endxrtable endclause clause findkey 4 13 enter 13 immed 1 vararg 9 firvararg 12 proarg glovar 12 vararg 10 vararg 11 depart 0 3 exit xrtable p findkey 3 endxrtable endclause clause findkey 3 11 enter 11 vararg 8 constant 0 immed 10 profunctor cut 11 exit xrtable a $VAR endxrtable endclause clause findkey 3 11 void var 8 enter 11 proatomic 8 cut 11 exit xrtable endxrtable endclause clause findkey 3 11 enter 11 vararg 8 vararg 9 vararg 10 profunctor cut 11 exit xrtable endxrtable endclause clause findkey 3 11 voidn 3 return 11 xrtable endxrtable endclause clause doassert 3 34 enter 34 vararg 8 firvararg 11 firvararg 12 call 0 vararg 11 firvararg 13 firvararg 14 profunctor immed 0 vararg 14 constant 1 constant 2 vararg 11 firvararg 15 firvararg 16 call 3 vararg 12 firvararg 17 constant 4 vararg 16 constnil call 5 vararg 15 immed 0 firvararg 18 immed 0 firvararg 19 call 6 firvararg 20 call 7 eval 20 21 eval 14 22 pushv 21 pushv 22 firstresult 23 eval 18 24 pushv 23 pushv 24 firstresult 25 eval 19 26 pushv 25 pushv 26 firstresult 27 vararg 15 vararg 23 vararg 25 call 8 immed 0 vararg 14 immed 0 vararg 11 constant 1 constant 2 firvararg 28 firvararg 29 call 9 vararg 17 vararg 25 vararg 29 call 10 vararg 28 firvararg 30 call 11 call 12 vararg 30 firvararg 31 constnil call 13 vararg 14 vararg 11 firvararg 32 firvararg 33 call 14 vararg 13 vararg 14 vararg 32 vararg 33 vararg 27 vararg 31 vararg 9 vararg 10 call 15 cut 34 exit xrtable p dest_clause 3 a head a outer p do_var_each 7 a last p do_body_vars 5 p assign_var_types 5 p actsize 1 p assign_offsets 3 p c_term 8 p gen_body_code 3 p conseq 2 p primcom0 0 p assemble 3 p findkey 4 p primcom3 8 endxrtable endclause clause actsize 1 9 keyi 8 immed 8 return 9 xrtable endxrtable endclause clause var_bits 4 16 keya head constant 0 constant 1 functor 2 10 immed 1 voidn 7 firstvar 12 void enter 16 cut 16 initvar 13 initvar 14 initvar 15 disjunct 6 prononvar 12 cut 16 continue 21 endor vararg 13 call 3 eval 13 14 eval 11 15 pushv 14 pushv 15 pushb 1 result 12 exit xrtable a head a outer f $VAR 10 p actsize 1 endxrtable endclause clause var_bits 4 12 keya head constant 0 constant 1 functor 2 10 void immed 1 voidn 8 enter 12 cut 12 exit xrtable a head a inner f $VAR 10 endxrtable endclause clause var_bits 4 12 keya body constant 0 constant 1 functor 2 10 voidn 2 immed 1 voidn 7 enter 12 cut 12 exit xrtable a body a outer f $VAR 10 endxrtable endclause clause var_bits 4 12 keya body constant 0 constant 1 functor 2 10 voidn 3 immed 1 voidn 6 enter 12 cut 12 exit xrtable a body a inner f $VAR 10 endxrtable endclause clause var_bits 4 12 keya last constant 0 constant 1 functor 2 10 voidn 4 immed 1 voidn 5 enter 12 cut 12 exit xrtable a last a outer f $VAR 10 endxrtable endclause clause var_bits 4 12 keya last constant 0 constant 1 functor 2 10 voidn 5 immed 1 voidn 4 void return 12 xrtable a last a inner f $VAR 10 endxrtable endclause clause var_index 3 11 keya multiple constant 0 enter 11 cut 11 immed 7 vararg 9 vararg 10 proarg exit xrtable a multiple endxrtable endclause clause var_index 3 11 keya var_type constant 0 enter 11 cut 11 immed 8 vararg 9 vararg 10 proarg exit xrtable a var_type endxrtable endclause clause var_index 3 11 keya f_offset constant 0 enter 11 cut 11 immed 9 vararg 9 vararg 10 proarg exit xrtable a f_offset endxrtable endclause clause var_index 3 11 keya first_fl constant 0 enter 11 immed 10 vararg 9 vararg 10 proarg exit xrtable a first_fl endxrtable endclause clause assign_var_type 3 11 keyf $VAR 10 functor 0 10 voidn 2 immed 0 void immed 0 void immed 0 constant 1 voidn 2 immed 0 immed 0 enter 11 cut 11 exit xrtable f $VAR 10 a void endxrtable endclause clause assign_var_type 3 11 keyf $VAR 10 functor 0 10 immed 0 immed 1 immed 0 immed 0 immed 0 immed 0 immed 1 constant 1 voidn 2 immed 0 immed 1 enter 11 cut 11 exit xrtable f $VAR 10 a temp endxrtable endclause clause assign_var_type 3 11 keyf $VAR 10 functor 0 10 immed 0 immed 0 voidn 5 constant 1 voidn 2 immed 1 immed 0 enter 11 cut 11 exit xrtable f $VAR 10 a b_loc endxrtable endclause clause assign_var_type 3 11 keyf $VAR 10 functor 0 10 immed 0 immed 1 voidn 4 immed 1 constant 1 voidn 2 immed 1 immed 0 enter 11 cut 11 exit xrtable f $VAR 10 a local endxrtable endclause clause assign_var_type 3 11 keyf $VAR 10 functor 0 10 immed 1 voidn 5 immed 1 constant 1 voidn 2 immed 0 immed 0 return 11 xrtable f $VAR 10 a arg endxrtable endclause clause do_var_each 7 15 void var 8 voidn 4 var 13 enter 15 cut 15 exit xrtable endxrtable endclause clause do_var_each 7 18 enter 18 vararg 8 firvararg 15 prosucc vararg 15 vararg 12 firvararg 16 proarg vararg 10 vararg 11 vararg 16 vararg 15 vararg 13 firvararg 17 call 0 glovar 15 vararg 9 vararg 10 vararg 11 vararg 12 glovar 17 vararg 14 depart 1 7 exit xrtable p do_var 6 p do_var_each 7 endxrtable endclause clause do_var 6 14 voidn 4 conslist var 10 var 13 enter 14 provar 10 cut 14 vararg 8 vararg 9 vararg 10 vararg 11 depart 0 4 exit xrtable p var_bits 4 endxrtable endclause clause do_var 6 14 voidn 5 var 12 enter 14 vararg 8 vararg 9 vararg 10 vararg 11 call 0 cut 14 constant 1 vararg 10 immed 1 depart 2 3 exit xrtable p var_bits 4 a multiple p var_index 3 endxrtable endclause clause do_var 6 14 voidn 5 var 12 enter 14 proatomic 10 cut 14 exit xrtable endxrtable endclause clause do_var 6 16 enter 16 vararg 10 firvararg 14 firvararg 15 profunctor immed 0 glovar 15 vararg 8 constant 0 vararg 10 vararg 12 vararg 13 depart 1 7 exit xrtable a inner p do_var_each 7 endxrtable endclause clause do_body_vars 5 13 keya '[]' constnil constnil voidn 2 var 11 enter 13 cut 13 exit xrtable endxrtable endclause clause do_body_vars 5 13 void functor 0 1 var 8 enter 13 provar 8 cut 13 immed 0 immed 1 vararg 10 constant 1 functor 0 1 var 8 poparg vararg 11 vararg 12 depart 2 7 exit xrtable f call 1 a outer p do_var_each 7 endxrtable endclause clause do_body_vars 5 18 keyf '.' 2 conslist firstvar 13 firstvar 14 conslist firstvar 15 firstvar 16 enter 18 cut 18 vararg 13 vararg 15 constant 0 vararg 11 firvararg 17 call 1 vararg 14 vararg 16 vararg 10 glovar 17 vararg 12 depart 1 5 exit xrtable a body p do_body_vars 5 endxrtable endclause clause do_body_vars 5 19 keyf ; 2 functor 0 2 firstvar 13 firstvar 14 functor 1 3 firstvar 15 firstvar 16 firstvar 17 enter 19 cut 19 vararg 13 vararg 15 vararg 10 vararg 11 firvararg 18 call 2 vararg 14 vararg 16 vararg 10 vararg 18 vararg 12 call 2 vararg 11 vararg 12 vararg 17 depart 3 3 exit xrtable f ; 2 f '%disjunct%' 3 p do_body_vars 5 p real_list 3 endxrtable endclause clause do_body_vars 5 20 keyf -> 2 functor 0 2 firstvar 13 firstvar 14 functor 1 3 firstvar 15 firstvar 16 firstvar 17 void conslist var 17 firstvar 18 enter 20 cut 20 vararg 17 lastfunctor 2 10 immed 0 immed 1 immed 1 immed 0 immed 0 immed 0 immed 1 constant 3 voidn 2 proequal vararg 13 vararg 15 constant 4 vararg 18 firvararg 19 call 5 vararg 14 vararg 16 vararg 10 glovar 19 vararg 12 depart 5 5 exit xrtable f -> 2 f '%localcut%' 3 f $VAR 10 a local a body p do_body_vars 5 endxrtable endclause clause do_body_vars 5 15 void functor 0 1 var 8 enter 15 vararg 8 constant 1 immed 10 profunctor cut 15 immed 0 immed 1 glofirvar 13 constant 2 functor 0 1 var 8 poparg vararg 11 glofirvar 14 depart 3 7 exit xrtable f call 1 a $VAR a outer p do_var_each 7 endxrtable endclause clause do_body_vars 5 15 void var 8 enter 15 prononvar 8 cut 15 vararg 8 firvararg 13 firvararg 14 profunctor immed 0 glovar 14 vararg 10 constant 0 vararg 8 vararg 11 vararg 12 depart 1 7 exit xrtable a outer p do_var_each 7 endxrtable endclause clause real_list 3 11 voidn 2 constnil enter 11 vararg 8 vararg 9 call 0 cut 11 exit xrtable p == 2 endxrtable endclause clause real_list 3 14 keyf '.' 2 conslist firstvar 13 firstvar 11 void lastconslist var 13 firstvar 12 enter 13 vararg 11 vararg 9 vararg 12 depart 0 3 exit xrtable p real_list 3 endxrtable endclause clause assign_var_types 5 13 keya '[]' constnil void var 9 void var 11 enter 13 cut 13 exit xrtable endxrtable endclause clause assign_var_types 5 23 keyf '.' 2 conslist firstvar 13 firstvar 14 enter 23 vararg 13 firvararg 15 firvararg 16 call 0 eval 9 17 eval 15 18 pushv 17 pushv 18 firstresult 19 eval 11 20 eval 16 21 pushv 20 pushv 21 firstresult 22 vararg 14 vararg 19 vararg 10 vararg 22 vararg 12 depart 1 5 exit xrtable p assign_var_type 3 p assign_var_types 5 endxrtable endclause clause assign_offsets 3 11 keya '[]' constnil voidn 2 return 11 xrtable endxrtable endclause clause assign_offsets 3 16 keyf '.' 2 conslist firstvar 11 firstvar 12 enter 16 constant 0 vararg 11 firvararg 13 call 1 vararg 13 vararg 11 vararg 9 firvararg 14 vararg 10 firvararg 15 call 2 vararg 12 glovar 14 glovar 15 depart 3 3 exit xrtable a var_type p var_index 3 p assign_offset 6 p assign_offsets 3 endxrtable endclause clause assign_offset 6 14 keya local constant 0 voidn 4 var 12 enter 14 cut 14 vararg 10 vararg 11 prosucc constant 1 vararg 9 vararg 10 depart 2 3 exit xrtable a local a f_offset p var_index 3 endxrtable endclause clause assign_offset 6 14 keya b_loc constant 0 voidn 4 var 12 enter 14 cut 14 vararg 10 vararg 11 prosucc constant 1 vararg 9 vararg 10 depart 2 3 exit xrtable a b_loc a f_offset p var_index 3 endxrtable endclause clause assign_offset 6 14 keya temp constant 0 voidn 2 var 10 enter 14 cut 14 vararg 12 vararg 13 prosucc constant 1 vararg 9 vararg 12 depart 2 3 exit xrtable a temp a f_offset p var_index 3 endxrtable endclause clause assign_offset 6 14 keya void constant 0 voidn 2 var 10 void var 12 enter 14 constant 1 vararg 9 immed 0 call 2 cut 14 exit xrtable a void a f_offset p var_index 3 endxrtable endclause clause assign_offset 6 14 voidn 3 var 10 void var 12 return 14 xrtable endxrtable endclause clause gen_body_code 3 11 keya true constant 0 void lastconslist functor 1 1 var 9 constnil enter 11 cut 11 exit xrtable a true f return 1 endxrtable endclause clause gen_body_code 3 12 voidn 2 lastconslist functor 0 1 var 9 firstvar 11 enter 12 vararg 8 vararg 9 constant 1 vararg 11 lastconslist constant 2 constnil depart 3 5 exit xrtable f enter 1 a last a exit p c_goals 5 endxrtable endclause clause c_goals 5 14 keyf '.' 2 conslist firstvar 13 constnil enter 14 vararg 10 vararg 13 vararg 9 vararg 11 vararg 12 depart 0 5 exit xrtable p c_goal 5 endxrtable endclause clause c_goals 5 16 keyf '.' 2 conslist firstvar 13 firstvar 14 enter 16 cut 16 constant 0 vararg 13 vararg 9 vararg 11 firvararg 15 call 1 vararg 14 vararg 9 vararg 10 glovar 15 vararg 12 depart 2 5 exit xrtable a body p c_goal 5 p c_goals 5 endxrtable endclause clause c_goal 5 13 keya body constant 0 enter 13 vararg 9 vararg 10 constant 0 vararg 11 vararg 12 call 1 cut 13 exit xrtable a body p open_code 5 endxrtable endclause clause c_goal 5 15 keya body constant 0 enter 15 cut 15 vararg 9 firvararg 13 firvararg 14 profunctor immed 0 glovar 14 immed 0 vararg 9 constant 0 constant 1 vararg 11 lastconslist functor 2 2 var 13 var 14 poparg var 12 depart 3 8 exit xrtable a body a outer f call 2 p c_term 8 endxrtable endclause clause c_goal 5 13 keya last constant 0 enter 13 vararg 9 vararg 10 constant 0 vararg 11 vararg 12 call 1 cut 13 exit xrtable a last p open_code 5 endxrtable endclause clause c_goal 5 15 keya last constant 0 enter 15 vararg 9 firvararg 13 firvararg 14 profunctor immed 0 glovar 14 immed 0 vararg 9 constant 0 constant 1 vararg 11 lastconslist functor 2 2 var 13 var 14 poparg var 12 depart 3 8 exit xrtable a last a outer f depart 2 p c_term 8 endxrtable endclause clause c_term 8 16 void var 8 voidn 5 var 14 enter 16 cut 16 exit xrtable endxrtable endclause clause c_term 8 22 enter 22 vararg 8 firvararg 16 prosucc vararg 16 vararg 11 firvararg 17 proarg eval 16 18 eval 10 19 pushv 18 pushv 19 firstresult 20 vararg 17 vararg 12 vararg 13 vararg 20 vararg 9 vararg 14 firvararg 21 call 0 glovar 16 vararg 9 vararg 10 vararg 11 vararg 12 vararg 13 glovar 21 vararg 15 depart 1 8 exit xrtable p c_arg 7 p c_term 8 endxrtable endclause clause c_arg 7 18 keyf $VAR 10 functor 0 10 voidn 7 firstvar 15 firstvar 16 firstvar 17 enter 18 cut 18 vararg 15 vararg 16 vararg 17 vararg 9 vararg 10 vararg 13 vararg 14 depart 1 7 exit xrtable f $VAR 10 p c_arg_var 7 endxrtable endclause clause c_arg 7 15 keya '[]' constnil voidn 4 conslist constant 0 var 14 enter 15 cut 15 exit xrtable a constnil endxrtable endclause clause c_arg 7 16 voidn 5 conslist functor 0 1 var 8 var 14 enter 16 proint 8 eval 8 15 pushb 0 pushv 15 pushv 15 pushb 255 cut 16 exit xrtable f immed 1 endxrtable endclause clause c_arg 7 15 voidn 5 conslist functor 0 1 var 8 var 14 enter 15 proatomic 8 cut 15 exit xrtable f constant 1 endxrtable endclause clause c_arg 7 16 voidn 4 var 11 conslist constant 0 firstvar 15 enter 16 vararg 8 constant 1 immed 2 profunctor cut 16 immed 0 immed 2 immed 0 vararg 8 vararg 9 constant 2 vararg 15 vararg 14 depart 3 8 exit xrtable a lastconslist a '.' a inner p c_term 8 endxrtable endclause clause c_arg 7 18 voidn 4 var 11 conslist functor 0 2 firstvar 15 firstvar 16 firstvar 17 enter 18 cut 18 vararg 8 vararg 15 vararg 16 profunctor immed 0 vararg 16 immed 0 vararg 8 vararg 9 constant 1 vararg 17 vararg 14 depart 2 8 exit xrtable f lastfunctor 2 a inner p c_term 8 endxrtable endclause clause c_arg 7 17 voidn 5 conslist constant 0 firstvar 15 enter 17 vararg 8 constant 1 immed 2 profunctor cut 17 vararg 9 firvararg 16 call 2 immed 0 immed 2 immed 1 vararg 8 vararg 9 constant 3 vararg 15 lastconslist var 16 var 14 depart 4 8 exit xrtable a conslist a '.' p choose_pop 2 a inner p c_term 8 endxrtable endclause clause c_arg 7 19 voidn 5 conslist functor 0 2 firstvar 15 firstvar 16 firstvar 17 enter 19 vararg 8 vararg 15 vararg 16 profunctor vararg 9 firvararg 18 call 1 immed 0 vararg 16 immed 1 vararg 8 vararg 9 constant 2 vararg 17 lastconslist var 18 var 14 depart 3 8 exit xrtable f functor 2 p choose_pop 2 a inner p c_term 8 endxrtable endclause clause choose_pop 2 10 keya head constant 0 constant 1 enter 10 cut 10 exit xrtable a head a pop endxrtable endclause clause choose_pop 2 10 void constant 0 return 10 xrtable a poparg endxrtable endclause clause c_arg_var 7 15 keya void constant 0 voidn 4 conslist constant 0 var 14 enter 15 cut 15 exit xrtable a void endxrtable endclause clause c_arg_var 7 15 keya arg constant 0 voidn 2 constant 1 constant 2 conslist constant 3 var 14 enter 15 provar 10 cut 15 vararg 10 immed 1 proequal exit xrtable a arg a head a outer a void endxrtable endclause clause c_arg_var 7 15 keya arg constant 0 voidn 2 constant 1 constant 2 conslist functor 3 1 var 9 var 14 enter 15 cut 15 exit xrtable a arg a body a outer f vararg 1 endxrtable endclause clause c_arg_var 7 15 keya arg constant 0 voidn 2 constant 1 constant 2 conslist functor 3 1 var 9 var 14 enter 15 cut 15 exit xrtable a arg a last a outer f vararg 1 endxrtable endclause clause c_arg_var 7 15 keya arg constant 0 voidn 4 conslist functor 1 1 var 9 var 14 enter 15 cut 15 exit xrtable a arg f var 1 endxrtable endclause clause c_arg_var 7 15 keya b_loc constant 0 voidn 2 constant 1 constant 2 conslist functor 3 1 var 9 var 14 enter 15 provar 10 cut 15 vararg 10 lastfunctor 4 1 void proequal exit xrtable a b_loc a body a outer f firvararg 1 f ff 1 endxrtable endclause clause c_arg_var 7 15 keya b_loc constant 0 voidn 2 constant 1 constant 2 conslist functor 3 1 var 9 var 14 enter 15 provar 10 cut 15 vararg 10 lastfunctor 4 1 void proequal exit xrtable a b_loc a body a inner f firstvar 1 f ff 1 endxrtable endclause clause c_arg_var 7 15 keya b_loc constant 0 voidn 2 constant 1 constant 2 conslist functor 3 1 var 9 var 14 enter 15 provar 10 cut 15 vararg 10 lastfunctor 4 1 immed 1 proequal exit xrtable a b_loc a last a outer f glofirvar 1 f ff 1 endxrtable endclause clause c_arg_var 7 16 keya b_loc constant 0 void functor 1 1 firstvar 15 constant 2 constant 3 conslist functor 4 1 var 9 var 14 enter 16 provar 15 cut 16 vararg 15 immed 1 proequal exit xrtable a b_loc f ff 1 a last a outer f glovar 1 endxrtable endclause clause c_arg_var 7 15 voidn 5 conslist functor 0 1 var 9 var 14 enter 15 provar 10 cut 15 vararg 10 immed 1 proequal exit xrtable f firstvar 1 endxrtable endclause clause c_arg_var 7 15 voidn 3 constant 0 constant 1 conslist functor 2 1 var 9 var 14 enter 15 cut 15 exit xrtable a body a outer f vararg 1 endxrtable endclause clause c_arg_var 7 15 voidn 3 constant 0 constant 1 conslist functor 2 1 var 9 var 14 enter 15 cut 15 exit xrtable a last a outer f vararg 1 endxrtable endclause clause c_arg_var 7 15 voidn 5 conslist functor 0 1 var 9 var 14 enter 15 cut 15 exit xrtable f var 1 endxrtable endclause clause open_code 5 13 keya true constant 0 voidn 3 var 11 enter 13 cut 13 exit xrtable a true endxrtable endclause clause open_code 5 13 keya ! constant 0 voidn 2 conslist functor 1 1 var 9 var 12 enter 13 cut 13 exit xrtable f cut 1 endxrtable endclause clause open_code 5 13 keya fail constant 0 voidn 2 conslist constant 0 var 12 enter 13 cut 13 exit xrtable a fail endxrtable endclause clause open_code 5 15 keyf succ 2 functor 0 2 firstvar 13 firstvar 14 enter 15 cut 15 immed 0 immed 2 immed 0 functor 0 2 var 13 var 14 poparg vararg 10 constant 1 vararg 11 lastconslist constant 2 var 12 depart 3 8 exit xrtable f succ 2 a outer a prosucc p c_term 8 endxrtable endclause clause open_code 5 15 keyf = 2 functor 0 2 firstvar 13 firstvar 14 enter 15 cut 15 immed 0 immed 2 immed 0 functor 0 2 var 13 var 14 poparg vararg 10 constant 1 vararg 11 lastconslist constant 2 var 12 depart 3 8 exit xrtable f = 2 a outer a proequal p c_term 8 endxrtable endclause clause open_code 5 16 keyf arg 3 functor 0 3 firstvar 13 firstvar 14 firstvar 15 enter 16 cut 16 immed 0 immed 3 immed 0 functor 0 3 var 13 var 14 var 15 poparg vararg 10 constant 1 vararg 11 lastconslist constant 2 var 12 depart 3 8 exit xrtable f arg 3 a outer a proarg p c_term 8 endxrtable endclause clause open_code 5 16 keyf functor 3 functor 0 3 firstvar 13 firstvar 14 firstvar 15 enter 16 cut 16 immed 0 immed 3 immed 0 functor 0 3 var 13 var 14 var 15 poparg vararg 10 constant 1 vararg 11 lastconslist constant 2 var 12 depart 3 8 exit xrtable f functor 3 a outer a profunctor p c_term 8 endxrtable endclause clause open_code 5 14 keyf '%pushb%' 1 functor 0 1 firstvar 13 voidn 2 conslist functor 1 1 var 13 var 12 enter 13 cut 13 exit xrtable f '%pushb%' 1 f pushb 1 endxrtable endclause clause open_code 5 14 keyf '%pushi%' 1 functor 0 1 firstvar 13 voidn 2 conslist functor 1 1 var 13 var 12 enter 13 cut 13 exit xrtable f '%pushi%' 1 f pushi 1 endxrtable endclause clause open_code 5 19 keyf '%result%' 1 functor 0 1 functor 1 10 voidn 7 firstvar 13 firstvar 14 firstvar 15 voidn 2 conslist firstvar 16 var 12 enter 19 cut 19 vararg 13 vararg 14 vararg 15 constant 2 constant 3 firvararg 17 firvararg 18 call 4 glovar 17 vararg 16 depart 5 2 exit xrtable f '%result%' 1 f $VAR 10 a body a outer p c_arg_var 7 p result_code 2 endxrtable endclause clause open_code 5 23 keyf '%eval%' 2 functor 0 2 functor 1 10 voidn 7 firstvar 13 firstvar 14 firstvar 15 functor 1 10 voidn 7 firstvar 16 firstvar 17 firstvar 18 voidn 2 conslist functor 2 2 var 14 var 17 var 12 enter 23 vararg 13 vararg 14 vararg 15 constant 3 constant 4 firvararg 19 firvararg 20 call 5 vararg 16 vararg 17 vararg 18 constant 3 constant 4 firvararg 21 firvararg 22 call 5 cut 23 exit xrtable f '%eval%' 2 f $VAR 10 f eval 2 a body a outer p c_arg_var 7 endxrtable endclause clause open_code 5 26 keyf '%disjunct%' 3 functor 0 3 functor 1 3 firstvar 13 firstvar 14 firstvar 15 firstvar 16 firstvar 17 voidn 2 conslist functor 2 1 firstvar 18 firstvar 19 enter 26 cut 26 constant 3 vararg 15 vararg 18 call 4 vararg 17 vararg 19 lastconslist functor 5 1 firstvar 20 poparg firstvar 21 call 6 vararg 13 vararg 9 constant 7 vararg 21 lastconslist functor 8 1 var 18 poparg firstvar 22 call 9 vararg 14 vararg 9 vararg 10 vararg 22 lastconslist functor 10 1 firstvar 23 poparg firstvar 24 call 9 vararg 24 lastconslist constant 11 firstvar 25 proequal vararg 16 vararg 9 vararg 10 vararg 25 vararg 12 call 9 vararg 21 vararg 24 vararg 20 call 12 glovar 24 vararg 12 glovar 23 depart 12 3 exit xrtable f '%disjunct%' 3 f '%localcut%' 3 f savel 1 a f_offset p var_index 3 f disjunct 1 p init_vars 3 a body f localcut 1 p c_goals 5 f continue 1 a endor p length_diff 3 endxrtable endclause clause open_code 5 21 keyf '%disjunct%' 3 functor 0 3 firstvar 13 firstvar 14 firstvar 15 enter 21 cut 21 vararg 15 vararg 11 lastconslist functor 1 1 firstvar 16 poparg firstvar 17 call 2 vararg 13 vararg 9 vararg 10 vararg 17 lastconslist functor 3 1 firstvar 18 poparg firstvar 19 call 4 vararg 19 lastconslist constant 5 firstvar 20 proequal vararg 14 vararg 9 vararg 10 vararg 20 vararg 12 call 4 vararg 17 vararg 19 vararg 16 call 6 glovar 19 vararg 12 glovar 18 depart 6 3 exit xrtable f '%disjunct%' 3 f disjunct 1 p init_vars 3 f continue 1 p c_goals 5 a endor p length_diff 3 endxrtable endclause clause open_code 5 19 keyf '%localcut%' 3 functor 0 3 firstvar 13 firstvar 14 firstvar 15 voidn 2 conslist functor 1 1 firstvar 16 firstvar 17 enter 19 cut 19 constant 2 vararg 15 vararg 16 call 3 vararg 13 vararg 9 constant 4 vararg 17 lastconslist functor 5 1 var 16 poparg firstvar 18 call 6 vararg 14 vararg 9 vararg 10 glovar 18 vararg 12 depart 6 5 exit xrtable f '%localcut%' 3 f savel 1 a f_offset p var_index 3 a body f localcut 1 p c_goals 5 endxrtable endclause clause open_code 5 14 keyf put 1 functor 0 1 conslist firstvar 13 constnil enter 14 cut 14 vararg 10 functor 0 1 var 13 poparg vararg 9 vararg 11 vararg 12 depart 1 5 exit xrtable f put 1 p c_goal 5 endxrtable endclause clause open_code 5 18 voidn 3 conslist firstvar 13 var 12 enter 18 vararg 8 firvararg 14 vararg 13 firvararg 15 call 0 cut 18 vararg 14 constant 1 immed 10 profunctor constant 2 vararg 14 firvararg 16 call 3 prononvar 16 constant 4 vararg 14 vararg 15 call 3 eval 15 17 pushv 17 pushb 0 exit xrtable p var_instr 4 a $VAR a first_fl p var_index 3 a f_offset endxrtable endclause clause open_code 5 17 voidn 3 conslist firstvar 13 var 12 enter 17 firvararg 14 firvararg 15 firvararg 16 vararg 8 vararg 13 call 0 cut 17 exit xrtable p binop 5 endxrtable endclause clause open_code 5 16 voidn 3 conslist firstvar 13 var 12 enter 16 firvararg 14 firvararg 15 vararg 8 vararg 13 call 0 cut 16 exit xrtable p unop 4 endxrtable endclause clause open_code 5 17 voidn 3 conslist firstvar 13 var 12 enter 17 firvararg 14 firvararg 15 firvararg 16 vararg 8 vararg 13 call 0 cut 17 exit xrtable p compop 5 endxrtable endclause clause result_code 2 11 keyf '.' 2 conslist functor 0 1 firstvar 10 void lastfunctor 1 1 var 10 enter 10 cut 10 exit xrtable f firvararg 1 f firstresult 1 endxrtable endclause clause result_code 2 11 keyf '.' 2 conslist functor 0 1 firstvar 10 void lastfunctor 1 1 var 10 enter 10 cut 10 exit xrtable f vararg 1 f result 1 endxrtable endclause clause init_vars 3 11 keya '[]' constnil void var 9 return 11 xrtable endxrtable endclause clause init_vars 3 14 keyf '.' 2 conslist functor 0 10 voidn 7 constant 1 firstvar 13 functor 2 1 void firstvar 11 conslist functor 3 1 var 13 firstvar 12 enter 13 cut 13 vararg 11 vararg 12 vararg 10 depart 4 3 exit xrtable f $VAR 10 a b_loc f ff 1 f initvar 1 p init_vars 3 endxrtable endclause clause init_vars 3 12 keyf '.' 2 conslist void firstvar 11 enter 12 vararg 11 vararg 9 vararg 10 depart 0 3 exit xrtable p init_vars 3 endxrtable endclause clause length_diff 3 11 voidn 2 immed 0 enter 11 vararg 8 vararg 9 call 0 cut 11 exit xrtable p == 2 endxrtable endclause clause length_diff 3 12 keyf '.' 2 conslist functor 0 1 void conslist constant 1 firstvar 11 enter 12 cut 12 conslist functor 0 1 void poparg var 11 poparg vararg 9 vararg 10 depart 2 3 exit xrtable f voidn 1 a void p length_diff 3 endxrtable endclause clause length_diff 3 16 keyf '.' 2 conslist constant 0 conslist constant 0 firstvar 11 enter 16 cut 16 conslist functor 1 1 void poparg var 11 poparg vararg 9 firvararg 12 call 2 functor 1 1 void poparg firvararg 13 call 3 eval 12 14 eval 13 15 pushv 14 pushv 15 result 10 exit xrtable a void f voidn 1 p length_diff 3 p instr 2 endxrtable endclause clause length_diff 3 17 keyf '.' 2 conslist firstvar 11 firstvar 12 enter 17 vararg 12 vararg 9 firvararg 13 call 0 vararg 11 firvararg 14 call 1 eval 13 15 eval 14 16 pushv 15 pushv 16 result 10 exit xrtable p length_diff 3 p instr 2 endxrtable endclause clause instr 2 10 keyf constant 1 functor 0 1 void immed 2 return 10 xrtable f constant 1 endxrtable endclause clause instr 2 10 keyf immed 1 functor 0 1 void immed 2 return 10 xrtable f immed 1 endxrtable endclause clause instr 2 10 keya constnil constant 0 immed 1 return 10 xrtable a constnil endxrtable endclause clause instr 2 10 keyf functor 2 functor 0 2 voidn 2 immed 3 return 10 xrtable f functor 2 endxrtable endclause clause instr 2 10 keyf lastfunctor 2 functor 0 2 voidn 2 immed 3 return 10 xrtable f lastfunctor 2 endxrtable endclause clause instr 2 10 keya conslist constant 0 immed 1 return 10 xrtable a conslist endxrtable endclause clause instr 2 10 keya lastconslist constant 0 immed 1 return 10 xrtable a lastconslist endxrtable endclause clause instr 2 10 keya void constant 0 immed 1 return 10 xrtable a void endxrtable endclause clause instr 2 10 keyf voidn 1 functor 0 1 void immed 2 return 10 xrtable f voidn 1 endxrtable endclause clause instr 2 10 keyf firstvar 1 functor 0 1 void immed 2 return 10 xrtable f firstvar 1 endxrtable endclause clause instr 2 10 keyf glofirvar 1 functor 0 1 void immed 2 return 10 xrtable f glofirvar 1 endxrtable endclause clause instr 2 10 keyf glovar 1 functor 0 1 void immed 2 return 10 xrtable f glovar 1 endxrtable endclause clause instr 2 10 keyf var 1 functor 0 1 void immed 2 return 10 xrtable f var 1 endxrtable endclause clause instr 2 10 keyf vararg 1 functor 0 1 void immed 2 return 10 xrtable f vararg 1 endxrtable endclause clause instr 2 10 keyf firvararg 1 functor 0 1 void immed 2 return 10 xrtable f firvararg 1 endxrtable endclause clause instr 2 10 keya pop constant 0 immed 1 return 10 xrtable a pop endxrtable endclause clause instr 2 10 keya poparg constant 0 immed 1 return 10 xrtable a poparg endxrtable endclause clause instr 2 10 keyf depart 2 functor 0 2 voidn 2 immed 3 return 10 xrtable f depart 2 endxrtable endclause clause instr 2 10 keyf call 2 functor 0 2 voidn 2 immed 2 return 10 xrtable f call 2 endxrtable endclause clause instr 2 10 keyf callx 1 functor 0 1 void immed 2 return 10 xrtable f callx 1 endxrtable endclause clause instr 2 10 keyf return 1 functor 0 1 void immed 2 return 10 xrtable f return 1 endxrtable endclause clause instr 2 10 keyf enter 1 functor 0 1 void immed 2 return 10 xrtable f enter 1 endxrtable endclause clause instr 2 10 keya exit constant 0 immed 1 return 10 xrtable a exit endxrtable endclause clause instr 2 10 keyf cut 1 functor 0 1 void immed 2 return 10 xrtable f cut 1 endxrtable endclause clause instr 2 10 keya fail constant 0 immed 1 return 10 xrtable a fail endxrtable endclause clause instr 2 10 keyf savel 1 functor 0 1 void immed 2 return 10 xrtable f savel 1 endxrtable endclause clause instr 2 10 keyf disjunct 1 functor 0 1 void immed 2 return 10 xrtable f disjunct 1 endxrtable endclause clause instr 2 10 keyf continue 1 functor 0 1 void immed 2 return 10 xrtable f continue 1 endxrtable endclause clause instr 2 10 keya endor constant 0 immed 1 return 10 xrtable a endor endxrtable endclause clause instr 2 10 keyf localcut 1 functor 0 1 void immed 2 return 10 xrtable f localcut 1 endxrtable endclause clause instr 2 10 keyf initvar 1 functor 0 1 void immed 2 return 10 xrtable f initvar 1 endxrtable endclause clause instr 2 10 keyf provar 1 functor 0 1 void immed 2 return 10 xrtable f provar 1 endxrtable endclause clause instr 2 10 keyf prononvar 1 functor 0 1 void immed 2 return 10 xrtable f prononvar 1 endxrtable endclause clause instr 2 10 keyf proatom 1 functor 0 1 void immed 2 return 10 xrtable f proatom 1 endxrtable endclause clause instr 2 10 keyf proint 1 functor 0 1 void immed 2 return 10 xrtable f proint 1 endxrtable endclause clause instr 2 10 keyf proatomic 1 functor 0 1 void immed 2 return 10 xrtable f proatomic 1 endxrtable endclause clause instr 2 10 keya prosucc constant 0 immed 1 return 10 xrtable a prosucc endxrtable endclause clause instr 2 10 keya proarg constant 0 immed 1 return 10 xrtable a proarg endxrtable endclause clause instr 2 10 keya profunctor constant 0 immed 1 return 10 xrtable a profunctor endxrtable endclause clause instr 2 10 keya proequal constant 0 immed 1 return 10 xrtable a proequal endxrtable endclause clause instr 2 10 keyf eval 2 functor 0 2 voidn 2 immed 3 return 10 xrtable f eval 2 endxrtable endclause clause instr 2 10 keyf pushb 1 functor 0 1 void immed 2 return 10 xrtable f pushb 1 endxrtable endclause clause instr 2 10 keyf pushi 1 functor 0 1 void immed 2 return 10 xrtable f pushi 1 endxrtable endclause clause instr 2 10 keyf pushv 1 functor 0 1 void immed 2 return 10 xrtable f pushv 1 endxrtable endclause clause instr 2 10 keyf firstresult 1 functor 0 1 void immed 2 return 10 xrtable f firstresult 1 endxrtable endclause clause instr 2 10 keyf result 1 functor 0 1 void immed 2 return 10 xrtable f result 1 endxrtable endclause clause instr 2 10 keya add constant 0 immed 1 return 10 xrtable a add endxrtable endclause clause instr 2 10 keya sub constant 0 immed 1 return 10 xrtable a sub endxrtable endclause clause instr 2 10 keya mul constant 0 immed 1 return 10 xrtable a mul endxrtable endclause clause instr 2 10 keya div constant 0 immed 1 return 10 xrtable a div endxrtable endclause clause instr 2 10 keya mod constant 0 immed 1 return 10 xrtable a mod endxrtable endclause clause instr 2 10 keya shr constant 0 immed 1 return 10 xrtable a shr endxrtable endclause clause instr 2 10 keya shl constant 0 immed 1 return 10 xrtable a shl endxrtable endclause clause instr 2 10 keya and constant 0 immed 1 return 10 xrtable a and endxrtable endclause clause instr 2 10 keya or constant 0 immed 1 return 10 xrtable a or endxrtable endclause clause instr 2 10 keya not constant 0 immed 1 return 10 xrtable a not endxrtable endclause clause instr 2 10 keya neg constant 0 immed 1 return 10 xrtable a neg endxrtable endclause clause instr 2 10 keya eq constant 0 immed 1 return 10 xrtable a eq endxrtable endclause clause instr 2 10 keya ne constant 0 immed 1 return 10 xrtable a ne endxrtable endclause clause instr 2 10 keya lt constant 0 immed 1 return 10 xrtable a lt endxrtable endclause clause instr 2 10 keya le constant 0 immed 1 return 10 xrtable a le endxrtable endclause clause instr 2 10 keya gt constant 0 immed 1 return 10 xrtable a gt endxrtable endclause clause instr 2 10 keya ge constant 0 immed 1 return 10 xrtable a ge endxrtable endclause clause instr 2 10 enter 10 constant 0 call 1 vararg 8 depart 1 1 exit xrtable a 'Unknown op ' p write 1 endxrtable endclause clause var_instr 4 12 keyf call 1 functor 0 1 var 9 void functor 1 1 var 11 void return 12 xrtable f call 1 f callx 1 endxrtable endclause clause var_instr 4 12 keyf var 1 functor 0 1 var 9 void functor 1 1 var 11 void return 12 xrtable f var 1 f provar 1 endxrtable endclause clause var_instr 4 12 keyf atom 1 functor 0 1 var 9 void functor 1 1 var 11 void return 12 xrtable f atom 1 f proatom 1 endxrtable endclause clause var_instr 4 12 keyf integer 1 functor 0 1 var 9 void functor 1 1 var 11 void return 12 xrtable f integer 1 f proint 1 endxrtable endclause clause var_instr 4 12 keyf nonvar 1 functor 0 1 var 9 void functor 1 1 var 11 void return 12 xrtable f nonvar 1 f prononvar 1 endxrtable endclause clause var_instr 4 12 keyf atomic 1 functor 0 1 var 9 void functor 1 1 var 11 void return 12 xrtable f atomic 1 f proatomic 1 endxrtable endclause clause var_instr 4 12 keyf '%pushv%' 1 functor 0 1 var 9 void functor 1 1 var 11 void return 12 xrtable f '%pushv%' 1 f pushv 1 endxrtable endclause clause conseq 2 14 keyf '.' 2 conslist functor 0 1 firstvar 10 conslist constant 1 firstvar 11 enter 14 cut 14 eval 10 12 pushv 12 pushb 1 firstresult 13 conslist functor 0 1 var 13 poparg var 11 poparg vararg 9 depart 2 2 exit xrtable f voidn 1 a void p conseq 2 endxrtable endclause clause conseq 2 11 keyf '.' 2 conslist constant 0 conslist constant 0 firstvar 10 enter 11 cut 11 conslist functor 1 1 immed 2 poparg var 10 poparg vararg 9 depart 2 2 exit xrtable a void f voidn 1 p conseq 2 endxrtable endclause clause conseq 2 12 keyf '.' 2 conslist functor 0 1 void conslist functor 1 1 firstvar 10 firstvar 11 enter 12 cut 12 conslist functor 1 1 var 10 poparg var 11 poparg vararg 9 depart 2 2 exit xrtable f voidn 1 f enter 1 p conseq 2 endxrtable endclause clause conseq 2 12 keyf '.' 2 conslist constant 0 conslist functor 1 1 firstvar 10 firstvar 11 enter 12 cut 12 conslist functor 1 1 var 10 poparg var 11 poparg vararg 9 depart 2 2 exit xrtable a void f enter 1 p conseq 2 endxrtable endclause clause conseq 2 13 keyf '.' 2 conslist firstvar 12 firstvar 10 lastconslist var 12 firstvar 11 enter 12 cut 12 vararg 10 vararg 11 depart 0 2 exit xrtable p conseq 2 endxrtable endclause clause conseq 2 10 keya '[]' constnil constnil return 10 xrtable endxrtable endclause clause assemble 3 11 keya '[]' constnil void var 9 enter 11 cut 11 exit xrtable endxrtable endclause clause assemble 3 14 keyf '.' 2 conslist firstvar 11 firstvar 12 enter 14 vararg 11 vararg 9 firvararg 13 call 0 vararg 12 glovar 13 vararg 10 depart 1 3 exit xrtable p ass 3 p assemble 3 endxrtable endclause clause ass 3 14 keyf constant 1 functor 0 1 firstvar 11 conslist immed 11 conslist firstvar 12 var 10 enter 14 cut 14 immed 0 vararg 11 glofirvar 13 vararg 12 depart 1 4 exit xrtable f constant 1 p primcom1 4 endxrtable endclause clause ass 3 14 keyf functor 2 functor 0 2 firstvar 11 firstvar 12 conslist immed 9 conslist firstvar 13 conslist var 12 var 10 enter 14 cut 14 immed 2 vararg 11 vararg 12 vararg 13 depart 1 4 exit xrtable f functor 2 p primcom1 4 endxrtable endclause clause ass 3 14 keyf lastfunctor 2 functor 0 2 firstvar 11 firstvar 12 conslist immed 10 conslist firstvar 13 conslist var 12 var 10 enter 14 cut 14 immed 2 vararg 11 vararg 12 vararg 13 depart 1 4 exit xrtable f lastfunctor 2 p primcom1 4 endxrtable endclause clause ass 3 14 keyf depart 2 functor 0 2 firstvar 11 firstvar 12 conslist immed 16 conslist firstvar 13 conslist var 12 var 10 enter 14 cut 14 immed 1 vararg 11 vararg 12 vararg 13 depart 1 4 exit xrtable f depart 2 p primcom1 4 endxrtable endclause clause ass 3 14 keyf call 2 functor 0 2 firstvar 11 firstvar 12 conslist immed 17 conslist firstvar 13 var 10 enter 14 cut 14 immed 1 vararg 11 vararg 12 vararg 13 depart 1 4 exit xrtable f call 2 p primcom1 4 endxrtable endclause clause ass 3 14 keyf pushi 1 functor 0 1 firstvar 11 conslist immed 43 conslist firstvar 12 var 10 enter 14 cut 14 immed 0 vararg 11 glofirvar 13 vararg 12 depart 1 4 exit xrtable f pushi 1 p primcom1 4 endxrtable endclause clause ass 3 12 keyf immed 1 functor 0 1 firstvar 11 conslist immed 27 conslist var 11 var 10 void return 11 xrtable f immed 1 endxrtable endclause clause ass 3 11 keya constnil constant 0 conslist immed 35 var 10 void return 11 xrtable a constnil endxrtable endclause clause ass 3 11 keya conslist constant 0 conslist immed 33 var 10 void return 11 xrtable a conslist endxrtable endclause clause ass 3 11 keya lastconslist constant 0 conslist immed 33 var 10 void return 11 xrtable a lastconslist endxrtable endclause clause ass 3 11 keya void constant 0 conslist immed 7 var 10 void return 11 xrtable a void endxrtable endclause clause ass 3 12 keyf voidn 1 functor 0 1 firstvar 11 conslist immed 32 conslist var 11 var 10 void return 11 xrtable f voidn 1 endxrtable endclause clause ass 3 12 keyf firstvar 1 functor 0 1 firstvar 11 conslist immed 5 conslist var 11 var 10 void return 11 xrtable f firstvar 1 endxrtable endclause clause ass 3 12 keyf glofirvar 1 functor 0 1 firstvar 11 conslist immed 29 conslist var 11 var 10 void return 11 xrtable f glofirvar 1 endxrtable endclause clause ass 3 12 keyf glovar 1 functor 0 1 firstvar 11 conslist immed 30 conslist var 11 var 10 void return 11 xrtable f glovar 1 endxrtable endclause clause ass 3 12 keyf var 1 functor 0 1 firstvar 11 conslist immed 4 conslist var 11 var 10 void return 11 xrtable f var 1 endxrtable endclause clause ass 3 12 keyf vararg 1 functor 0 1 firstvar 11 conslist immed 2 conslist var 11 var 10 void return 11 xrtable f vararg 1 endxrtable endclause clause ass 3 12 keyf firvararg 1 functor 0 1 firstvar 11 conslist immed 40 conslist var 11 var 10 void return 11 xrtable f firvararg 1 endxrtable endclause clause ass 3 11 keya pop constant 0 conslist immed 1 var 10 void return 11 xrtable a pop endxrtable endclause clause ass 3 11 keya poparg constant 0 conslist immed 3 var 10 void return 11 xrtable a poparg endxrtable endclause clause ass 3 12 keyf callx 1 functor 0 1 firstvar 11 conslist immed 26 conslist var 11 var 10 void return 11 xrtable f callx 1 endxrtable endclause clause ass 3 12 keyf return 1 functor 0 1 firstvar 11 conslist immed 13 conslist var 11 var 10 void return 11 xrtable f return 1 endxrtable endclause clause ass 3 12 keyf enter 1 functor 0 1 firstvar 11 conslist immed 12 conslist var 11 var 10 void return 11 xrtable f enter 1 endxrtable endclause clause ass 3 11 keya exit constant 0 conslist immed 25 var 10 void return 11 xrtable a exit endxrtable endclause clause ass 3 12 keyf cut 1 functor 0 1 firstvar 11 conslist immed 15 conslist var 11 var 10 void return 11 xrtable f cut 1 endxrtable endclause clause ass 3 11 keya fail constant 0 conslist immed 19 var 10 void return 11 xrtable a fail endxrtable endclause clause ass 3 12 keyf savel 1 functor 0 1 firstvar 11 conslist immed 14 conslist var 11 var 10 void return 11 xrtable f savel 1 endxrtable endclause clause ass 3 12 keyf disjunct 1 functor 0 1 firstvar 11 conslist immed 18 conslist var 11 var 10 void return 11 xrtable f disjunct 1 endxrtable endclause clause ass 3 12 keyf continue 1 functor 0 1 firstvar 11 conslist immed 8 conslist var 11 var 10 void return 11 xrtable f continue 1 endxrtable endclause clause ass 3 11 keya endor constant 0 conslist immed 28 var 10 void return 11 xrtable a endor endxrtable endclause clause ass 3 12 keyf localcut 1 functor 0 1 firstvar 11 conslist immed 31 conslist var 11 var 10 void return 11 xrtable f localcut 1 endxrtable endclause clause ass 3 12 keyf initvar 1 functor 0 1 firstvar 11 conslist immed 63 conslist var 11 var 10 void return 11 xrtable f initvar 1 endxrtable endclause clause ass 3 12 keyf provar 1 functor 0 1 firstvar 11 conslist immed 20 conslist var 11 var 10 void return 11 xrtable f provar 1 endxrtable endclause clause ass 3 12 keyf prononvar 1 functor 0 1 firstvar 11 conslist immed 21 conslist var 11 var 10 void return 11 xrtable f prononvar 1 endxrtable endclause clause ass 3 12 keyf proatom 1 functor 0 1 firstvar 11 conslist immed 22 conslist var 11 var 10 void return 11 xrtable f proatom 1 endxrtable endclause clause ass 3 12 keyf proint 1 functor 0 1 firstvar 11 conslist immed 23 conslist var 11 var 10 void return 11 xrtable f proint 1 endxrtable endclause clause ass 3 12 keyf proatomic 1 functor 0 1 firstvar 11 conslist immed 39 conslist var 11 var 10 void return 11 xrtable f proatomic 1 endxrtable endclause clause ass 3 11 keya prosucc constant 0 conslist immed 24 var 10 void return 11 xrtable a prosucc endxrtable endclause clause ass 3 11 keya proarg constant 0 conslist immed 36 var 10 void return 11 xrtable a proarg endxrtable endclause clause ass 3 11 keya profunctor constant 0 conslist immed 37 var 10 void return 11 xrtable a profunctor endxrtable endclause clause ass 3 11 keya proequal constant 0 conslist immed 38 var 10 void return 11 xrtable a proequal endxrtable endclause clause ass 3 13 keyf eval 2 functor 0 2 firstvar 11 firstvar 12 conslist immed 41 conslist var 11 conslist var 12 var 10 void return 11 xrtable f eval 2 endxrtable endclause clause ass 3 12 keyf pushb 1 functor 0 1 firstvar 11 conslist immed 42 conslist var 11 var 10 void return 11 xrtable f pushb 1 endxrtable endclause clause ass 3 12 keyf pushv 1 functor 0 1 firstvar 11 conslist immed 44 conslist var 11 var 10 void return 11 xrtable f pushv 1 endxrtable endclause clause ass 3 12 keyf firstresult 1 functor 0 1 firstvar 11 conslist immed 6 conslist var 11 var 10 void return 11 xrtable f firstresult 1 endxrtable endclause clause ass 3 12 keyf result 1 functor 0 1 firstvar 11 conslist immed 45 conslist var 11 var 10 void return 11 xrtable f result 1 endxrtable endclause clause ass 3 11 keya add constant 0 conslist immed 46 var 10 void return 11 xrtable a add endxrtable endclause clause ass 3 11 keya sub constant 0 conslist immed 47 var 10 void return 11 xrtable a sub endxrtable endclause clause ass 3 11 keya mul constant 0 conslist immed 48 var 10 void return 11 xrtable a mul endxrtable endclause clause ass 3 11 keya div constant 0 conslist immed 49 var 10 void return 11 xrtable a div endxrtable endclause clause ass 3 11 keya mod constant 0 conslist immed 50 var 10 void return 11 xrtable a mod endxrtable endclause clause ass 3 11 keya shr constant 0 conslist immed 51 var 10 void return 11 xrtable a shr endxrtable endclause clause ass 3 11 keya shl constant 0 conslist immed 52 var 10 void return 11 xrtable a shl endxrtable endclause clause ass 3 11 keya and constant 0 conslist immed 53 var 10 void return 11 xrtable a and endxrtable endclause clause ass 3 11 keya or constant 0 conslist immed 54 var 10 void return 11 xrtable a or endxrtable endclause clause ass 3 11 keya not constant 0 conslist immed 55 var 10 void return 11 xrtable a not endxrtable endclause clause ass 3 11 keya neg constant 0 conslist immed 56 var 10 void return 11 xrtable a neg endxrtable endclause clause ass 3 11 keya eq constant 0 conslist immed 57 var 10 void return 11 xrtable a eq endxrtable endclause clause ass 3 11 keya ne constant 0 conslist immed 58 var 10 void return 11 xrtable a ne endxrtable endclause clause ass 3 11 keya lt constant 0 conslist immed 59 var 10 void return 11 xrtable a lt endxrtable endclause clause ass 3 11 keya le constant 0 conslist immed 60 var 10 void return 11 xrtable a le endxrtable endclause clause ass 3 11 keya gt constant 0 conslist immed 61 var 10 void return 11 xrtable a gt endxrtable endclause clause ass 3 11 keya ge constant 0 conslist immed 62 var 10 void return 11 xrtable a ge endxrtable endclause voidn instr