> FIX>>)> #WORD *6042326423* ]>)> MAP5 + TAG20> (TYPE FALSE)> TAG20 2 = TEMP19 (TYPE VECTOR)> = TEMP19> BOOL17 MAPAP8 TEMP13 = TEMP13 (TYPE VECTOR)> #WORD *20471352535* SLOAD-STATE) LSTATE4> (TYPE FALSE)> MAP6 + PHRASE21> > PHRASE21 > > PHRASE23 MAPAP9 #WORD *12114471154* MAP6 MAPAP9 TEMP14 = TEMP14 (TYPE VECTOR)> #WORD *21400704120* > ANY) SSTATE17 SSTATE28 SSTATE9 LEN10> OPT4 OPT5 OPT6> OPT4 > OPT5 OPT6 TAG14 + PHRASE16> PHRASE16 LEN10 = SSTATE9 (TYPE VECTOR)> PHRASE18 MAP22 + PHRASE36> + PHRASE36> PHRASE36 MAPAP25 #WORD *16012622054* LINKVAR ) LK14 LINKS5> (TYPE FALSE)> MAP8 (TYPE FALSE)> TAG21 PHRASE20 MAPAP11 #WORD *244257215* LINKVAR LINKVAR) LK14 LK25> ) (TAC8 %<>) (TWAC9 %<>) (CAC10 %<>) TEMP14 TEMP15 DECL6> PHRASE13 (TYPE FALSE)> PHRASE16 PHRASE18 PHRASE20 PHRASE22 PHRASE24 - BOOL27> - BOOL27> - BOOL27> + PHRASE26> BOOL27 + BOOL30> BOOL30 + BOOL31> BOOL31 + BOOL32> BOOL32 PHRASE26 #WORD *5321560740* ) LX14 LX25> MAP7 TAG21 TAG20 TAG26 TAG27 COND18 MAPAP10 #WORD *15336521710* MAP9 MAPAP12 MAP23 + BOOL33> BOOL33 MAPAP26 MAP36 + BOOL47> BOOL47 + BOOL49> BOOL49 + BOOL51> BOOL51 + BOOL53> BOOL53 MAPAP39 #WORD *30230770756* LABEL-REF BOOLEAN FIX) LABEL4 UCB?5 PATCH6> ) SSTATE7 TEMP27:LIST XREF28:XREF-INFO NSSTATE8> - PHRASE11> PHRASE11 - BOOL14> BOOL14 MAP17 + PHRASE30> PHRASE30 MAPAP20 + PHRASE34> PHRASE34 MAP37 MAP36 #WORD *13522771277* LABEL-REF) LABEL4> (TYPE FALSE)> MAP6 > > MAPAP9 #WORD *33642531744* > LABEL-REF) PSSTATE4 LABEL5> MAP9 + PHRASE25> - PHRASE24> PHRASE24 PHRASE25 MAPAP12 #WORD *27246637070* #WORD *36455377001* ) INS18 NLILEN22 TEMP27> BOOL13 PHRASE12 AGAIN23 PHRASE25 EXIT19 - PHRASE30> PHRASE30 TAG37 TAG35 NLILEN22 = INS29 (TYPE UVECTOR)> PHRASE32 TAG40 TAG39 TAG42 TAG41 TEMP27 = INS29 (TYPE UVECTOR)> COND29 #WORD *34421404575* >) CDV4 AC5 INS16 INS27> > + PHRASE10> TAG14 TAG11 TAG16 TAG15 TAG18 TAG17 TEMP13 = TEMP13 (TYPE UVECTOR)> PHRASE10 TAG23 TAG20 TAG25 TAG24 TEMP13 = TEMP13 (TYPE UVECTOR)> #WORD *7317467555* #WORD *3310107271* PHRASE8 #WORD *20303650247* ) CDV4 AC5 PSAVE6> AGAIN13 PHRASE15 PHRASE19 BOOL24 PHRASE22 BOOL30 PHRASE29 > #WORD *116556126* FIX) CDV4 AC5 PSAVE6 INST7> > > PHRASE9 > > PHRASE13 #WORD *14733464643* CODEVEC AC) CDV4 AC5> ) INST13:FIX IFLD10:FIX TEMP23:FIX> AGAIN14 PHRASE16 BOOL22 PHRASE25 COND24 PHRASE20 PHRASE28 BOOL31 PHRASE30 #WORD *124034536* FIX ) MODE4 PSAVE5 INST16 INST27> + PHRASE11> + PHRASE13> TAG17 TAG14 TEMP16 = TEMP16 (TYPE UVECTOR)> PHRASE13 1 = TEMP16 (TYPE UVECTOR)> COND12 PHRASE22 PHRASE11 + PHRASE27> TAG28 TAG29 PHRASE27 PHRASE25 + PHRASE35> TAG36 TAG37 PHRASE35 #WORD *24222734321* OPT4 OPT5> OPT4 > OPT5 MAP11 + PHRASE25> PHRASE25 PHRASE30 MAPAP14 #WORD *23011313313* #WORD *12331740371* ) JLV4 LLV5 XREF6> + BOOL26> + TAG16> > TAG16 + TAG17> > TAG17 - PHRASE20> PHRASE20 + BOOL26> BOOL26 #WORD *36155130605* (TYPE FALSE)> MAP8 (TYPE FALSE)> TAG23 + PHRASE21> PHRASE21 MAPAP11 #WORD *3171373371* ATOM ATOM) KIND14 KIND25> TAG8 TAG9 TAG12 TAG13 TAG16 TAG17 > TAG19 TAG21 TAG22 > #WORD *10434565332* ) JLV4 LLV5 XREF6> + TAG18> > TAG18 + TAG19> > TAG19 + TAG20> > TAG20 + TAG21> > TAG21 + PHRASE25> PHRASE25 + PHRASE27> - COND24> PHRASE27 + PHRASE32> PHRASE32 COND24 + BOOL37> BOOL37 #WORD *30327525312* ) JLV4 LLV5 XREF6> + TAG18> > TAG18 + TAG19> > TAG19 + TAG20> > TAG20 + BOOL21> + BOOL35> BOOL21 + BOOL23> + BOOL35> BOOL23 + PHRASE28> PHRASE28 + PHRASE31> PHRASE31 + BOOL35> BOOL35 #WORD *1563173445* XREF-INFO) XREF4> (TYPE FALSE)> MAP7 MAPAP10 #WORD *5601706346* ]>)> = TEMP12> MAP7 - PHRASE20> PHRASE20 COND19 MAPAP10 #WORD *22546541532* ) VARS4> MAP7 - PHRASE21> PHRASE21 MAPAP10 MAP27 TAG45 - TAG46> TAG46 TAG44 BOOL43 TAG51 - TAG52> TAG52 TAG50 BOOL49 TAG56 - TAG57> TAG57 TAG55 PHRASE54 + BOOL60> + BOOL60> - PHRASE59> BOOL60 PHRASE59 PHRASE62 + PHRASE64> TAG67 - TAG68> TAG68 TAG66 + BOOL69> BOOL69 PHRASE64 + BOOL77> TAG75 - TAG76> TAG76 TAG74 + BOOL77> BOOL77 + PHRASE80> TAG83 - TAG84> TAG84 TAG82 TAG86 - TAG87> TAG87 TAG85 + BOOL88> BOOL88 PHRASE80 MAPAP30 = TEMP17> MAP91 + BOOL152> + BOOL111> + BOOL107> BOOL107 + BOOL109> BOOL109 + BOOL111> BOOL111 TAG115 - TAG116> TAG116 TAG114 > BOOL113 TAG124 - TAG125> TAG125 TAG123 TAG127 - TAG128> TAG128 TAG126 > PHRASE121 TAG133 - TAG134> TAG134 TAG132 > PHRASE131 TAG139 - TAG140> TAG140 TAG138 > PHRASE137 TAG146 - TAG147> TAG147 TAG145 > BOOL144 TAG150 - TAG151> TAG151 TAG149 > BOOL148 TAG154 - TAG155> TAG155 TAG153 > BOOL152 MAPAP94 #WORD *26057022456* > VARTBL ) VAR4 VARS5> (TYPE FALSE)> = TEMP12> MAP7 (TYPE FALSE)> TAG20 PHRASE19 MAPAP10 #WORD *24000707254* MAP6 + PHRASE22> PHRASE22 > PHRASE25 MAPAP9 MAP29 + BOOL39> > BOOL39 + BOOL42> > BOOL42 + BOOL45> > BOOL45 + BOOL48> > BOOL48 MAPAP32 #WORD *306712041* + BOOL8> BOOL8 + BOOL10> BOOL10 + BOOL11> BOOL11 + BOOL12> BOOL12 + PHRASE20> - PHRASE16> - PHRASE16> > PHRASE16 PHRASE20 + PHRASE28> - PHRASE25> > PHRASE25 PHRASE28 + PHRASE37> - PHRASE33> - PHRASE33> - PHRASE33> > PHRASE33 PHRASE37 + PHRASE47> - PHRASE42> - PHRASE42> > PHRASE42 > TAG48 PHRASE47 "THE STATUS INFORMATION THAT IS CURRENTLY-GENERATED IS AN ATOM EITHER NORMAL, UNCONDITIONAL-BRANCH, LOOP-LABEL" #WORD *6524171405* TAG11 TAG10 > (TYPE FALSE)> MAP17 PHRASE9 TAG26 TAG25 MAP30 MAP29 BOOL35 PHRASE38 > COND37 PHRASE42 > COND41 #WORD *26164577333* ANY "OPTIONAL" ANY BOOLEAN ANY) INST8 LABEL9 STATUS?10 ACNUM11 FLONG?12 NO-KILL13> OPT4 OPT5 OPT6 OPT7> OPT4 > OPT5 > OPT6 > OPT7 - TAG24> TAG24 + PHRASE25> PHRASE25 TAG33 TAG32 PHRASE31 - PHRASE40> PHRASE40 #WORD *35554156742* + BOOL18> BOOL14 BOOL16 BOOL17 BOOL18 - PHRASE22> + PHRASE22> PHRASE22