incrnilnilincrconsXLconssXincrLadxnilniladxconsXLincrconsXadxLnatsadxzeroszeroscons0zerosheadconsXLXtailconsXLLincr1nil0cons2s1adx1nats0zeros000head1tail1OUTERMOST./TRS/outermost/nontermin/CSR/ExIntrod_GM01.trs