incr nil nil incr cons X L cons s X n__incr activate L adx nil nil adx cons X L incr cons X n__adx activate L nats adx zeros zeros cons 0 n__zeros head cons X L X tail cons X L activate L incr X n__incr X adx X n__adx X zeros n__zeros activate n__incr X incr X activate n__adx X adx X activate n__zeros zeros activate X X incr 1 nil 0 cons 2 s 1 n__incr 1 activate 1 adx 1 n__adx 1 nats 0 zeros 0 0 0 n__zeros 0 head 1 tail 1 FULL ./TRS/TRCSR/ExIntrod_GM01_Z.trs