incrnilnilincrconsXLconssXincrLadxnilniladxconsXLincrconsXadxLnatsadxzeroszeroscons0zerosheadconsXLXtailconsXLLincr1nil0cons2s1adx1nats0zeros000head1tail1INNERMOST./TRS/nontermin/CSR/ExIntrod_GM01.trs