> )> ;"LIST manipulation" ) (NOT-DEAD? T) LEN-VAR "AUX" (LST <1 .L>) (AMT <2 .L>) (VAL <4 .L>) (LOOP ) (END ) (TAC <>) CNT-AC (AHEAD <>) AC NAC (RES-TYP )) #DECL ((LST) (AMT) (NAC LOOP END) ATOM (AC) (MIML L) LIST (AHEAD) )

>) (ELSE .NOT-DEAD?> )> > >>> >>> .NOT-DEAD?> .VAL BOTH>>> >> > ,AC-STAMP>)> >>>)> > > ) (ELSE )>)>

>>> )> .NOT-DEAD?> > > ;"Really an ASSIGN-AC" <==? .LST .VAL>> <>>)>)> ) (ELSE >

> >>>> >>> >

> >>> >>>>) (ELSE !>)> > > ) (ELSE )>)>)> 1) (ELSE 2)> (.AC)> > >)>) (.NOT-DEAD? 1) (ELSE 2)> (.AC)> FIX>) ( > "VEQUAL?"> .AC <> 2>) (<=? > "TYPE?"> .AC <> 2 <2 .AOS>>) (ELSE .AC <> 1>)>) (ELSE 1) (ELSE 2)> (.AC)>)>) (<==? .VAL STACK> >)>) (T )>)>> ) (AMT <2 .L>) (VAL <4 .L>) AC NAC (TAC <>) (END ) (LOOP ) (LV >>) (VD )>)) #DECL ((LST) (AMT) (NAC END LOOP) ATOM (AC) (L) LIST) <==? .AMT 2>> > >> >>) (> >>> >>> >>>)> >> )>

>> ) (

> >> <==? > .AC>> >

> ) (ELSE >)> (.AC)>) (ELSE @ !>)>) (<==? .AMT 2> @ (.AC)>) (ELSE @ !> ()>)>) (<==? .AMT 3> @ (.AC)> ()>) (ELSE @ !> @ ()>)>) (<==? .AMT 4> @ (.AC)> @ ()>) (ELSE @ !> @ ()> ()>)>) (T > .AC>)> > ) (T >)> ()> >

0>)>)> > > .VAL> TYPE> > .VAL> VALUE>)> <>>) (ELSE T>)> > T> > > >)>) (ELSE

LIST>)> <>>) (ELSE T>)>)>> ) (FLAG <2 .L>) (TAG <3 .L>) (JUMP JUMPE) (SKIP SKIPN) AC NEW (AC-T <>) (LV >>) TAC (AC-T-2 <>) (VD ) (ELSE )>)) #DECL ((LST) (FLAG TAG SKIP JUMP) ATOM (AC) (L) LIST) )> > > T .TAC .AC>>> > T .AC>>>> >>>> > >>>>)>) (> >>>>)> > .AC-T>)> .AC-T-2>)>) (T > >>>> > > >>>

>) (ELSE >>>)> <>> .LST> VALUE> > > > >)>> ) (L2 <2 .L>) AC NAC) #DECL ((L) LIST (L1 L2) (AC NAC) ) > > >>)> ) (ELSE >)>) (ELSE >) ( >> >>) (T )> ) (ELSE >)>)>> ) (L2 <2 .L>) (VAL <4 .L>)) #DECL ((L) LIST (L1) ANY (L1) (VAL) ATOM)

>> )>

> ) AC ITM DAC KIND RAC) .WIN> )> ) BOTH>> BOTH>>> <3 .ONE>>> <3 .ONE>> <3 .ONE> .ONE <2 .ONE>> BOTH> > >>)> 2 <>>) (<==? <1 .ONE> <3 .ONE>> 2 <>>)>> .FIRSTS> > )>> )> )> >) (> ATOM>> <3 .P>) !.LASTS)> >) (>>> >> > > > >)>) (

.PTRNS>>>

>> > ) (ELSE >

<>>

> <>>)>)> ) (ELSE )> >)>) (ELSE > ) !.OTHERS)>)> >> ) AC> > <>> BOTH> >> <>>)>)> BOTH> ! 0>>) (<==? <2 .ONE> VALUE> ! 1>>) (ELSE ! 0>>)>> .OTHERS> ) (TYP <2 .ONE>) (V <1 .ONE>)) #DECL ((ONE) !)

>)> '[WORD FIX]> LIST> >>>> T>> >)> LIST> ) (ELSE >)> > ) (<0? > >) ( ,MAX-IMMEDIATE>> >) (ELSE >)>) (<==? .TYP BOTH> >) (<==? .TYP VALUE> >) (ELSE >)>> .LASTS>> ) >)> <2 .P>> .AC> BOTH> TYPE> .AC> <==? VALUE> .AC>>>>> )> >>> O2*> A1*> >>

)>>

)>> ) >> > > > >>> )>> .L>> ) (AMT <2 .L>) (VAL <3 .L>) (LOOP ) (END ) (TAC <>) AC NAC (PUT-TYP ) CNT-AC) #DECL ((LST) (AMT) (LOOP) ATOM (NAC AC TAC) (L) LIST) > >>> >>> >>>) (ELSE > >>)> ) ( ) (ELSE )> > 3> >> )>>) (ELSE