) (BRANCH <>) (DIR <>) (SETF <>) "AUX" (STR <2 >) (THING <1 >) (TYP ) (TPS ) (FLS <==? .W FLUSHED>) (SDIR .DIR) (TTYP ) TYPTMP VAL-TEMP (ETY ) (TWIN ) (B2 .BRANCH) (ELSE )>) STRD NUMD TEM TY (B3 ) (RW .W) (FC <0? FIX>>) (LP ) B4 (NXT-TAG )) #DECL ((N STR THING) NODE (DCOD) FIX (B2 B3 B4) ATOM (TPS) (DEAD) (NK FLS DIR SDIR NOTF BRANCH) ) >> 0>> .W) (ELSE DONT-CARE)>> > ,SNODES>> ,SNODES>> > >) (ELSE > > >)> > 1>> .TPS >> > = >>) (ELSE >>>)>) ( .TPS >> = .STRD>)> >> <>> )> >> > >>)> .DIR <=? .W .STRD> > )> >) (ELSE >)>)> (( VALUE) ( VALUE))) (ELSE (( VALUE)))>) ( (( VALUE))) (ELSE ())> ( LENGTH VALUE TYPE)) (<==? .TPS LIST> ( VALUE)) (ELSE ( LENGTH VALUE))>> > 1>) (ELSE >>)> >) ( >)> + > ) (ELSE )> .LP>) (ELSE )> )> ) (ELSE )> ) ( >>>> ) (ELSE )> )> >) (ELSE .W)>>> > .W>)> ) (ELSE >) ( > .W>>)> >) (ELSE > > .W>)>)>) (ELSE > .STRD) (ELSE .W)>>> .W) (ELSE >> > )>)>)> >