Identity Unit Test Michelson

identity.tzt

input { Stack_elt nat 5 } ;
code { DUP ;
       PUSH nat 0 ;
       SWAP ;
       INT ;
       GT ;
       LOOP {
           PUSH nat 1 ;
           ADD ;
           DUP ;
           DIG 2 ;
           DUP ;
           DUG 3 ;
           SWAP ;
           COMPARE ;
           LT
       } ;
       DIP { DROP }
} ;
output { Stack_elt nat 5 }