)> > > > ATOM FIX LIST LIST>> > > > > > > > > AC ATOM>> > > > > > [6 ACSTATE]>> ATOM LOCAL-NAME >> > > > > > > ATOM ATOM FIX >> > > > > > > > (AC-STAMP VISIT-COUNT) FIX (NULL-STATES) > (ICALL-FLAG) > > > FIX CONSTANT-LABEL FIX>> > > > > ]>> ANY FIX FIX>> > > > ]> (MV-COUNT) FIX>