code { DIP 0 { PUSH bool True } } ;
input { Stack_elt int 5 ; Stack_elt int 4 ; Stack_elt int 3 ; Stack_elt int 2 ; Stack_elt int 1 ; Stack_elt int 0 } ;
output { Stack_elt bool True ; Stack_elt int 5 ; Stack_elt int 4 ; Stack_elt int 3 ; Stack_elt int 2 ; Stack_elt int 1 ; Stack_elt int 0 }