> )> ;"LIST manipulation" ) AC NAC) #DECL ((L) LIST (ARG) ANY (AC) ATOM (NAC) ) STACK> > > >)> ) (T BOTH>> FIX> >)>> ) (TYP <2 .L>) (CAM CAMN) (CAI CAIN) (JMP JUMPE) AC) #DECL ((L) LIST (ARG) ANY (TYP) (CAM CAI JMP) ATOM (AC) ) -> )> > ) (T >)> <>> )> >>) (ELSE )>) (T >)> >>)>> ) (ARG2 <2 .L>) (VAL <4 .L>) AC PCOD TYFRM VTYP ACT (LV >>)) #DECL ((L) LIST (AC VAL) ATOM (ARG1 ARG2) ANY (TYFRM) >) > '[WORD FIX LIST]> >> > >> > > >>)>)> > T> .VAL> VALUE> T> .VAL> TYPE> .VTYP>) ( EVAL>> FIX>> ,PRIM-FIX> <==? .PCOD ,PRIM-LIST> ,TYPE-LENGTHS>>> >> >)> > >)>) (ELSE > <>> > <>> <>>)> )> <2 .TYFRM>> T>)>) (ELSE > <>> > <>> <>>)> )> <>> T> > >)>)>)>) (ELSE > >> <>> > <>>)> )> <>> <==? 2> <==? <1 .ARG2> TYPE> ATOM>> > )> >>) (.ACT >>) (ELSE >)>) (ELSE >)> > )> T> > >)>)>)>> >> >> ;"Randomness" ) (VAL <3 .L>) AC) #DECL ((L) LIST (VAL) ATOM) > > >)>) ( > > > >>>> )> FIX>) (T > FIX> !>>)>> ) (VAL <3 .L>) AC NAC) #DECL ((L) LIST (VAL) ATOM) > >)> >>) (ELSE !>)> >)>) ( >> ,AC-STAMP> > >>> FIX>) (T > > > ,AC-STAMP>) (ELSE !>)> >>> FIX>)>> )) > ;"Border btwn stk + gc" > ;"Assume legal" ;"Skip if legal" ;"Not legal"