code { LOOP { IF_CONS { SWAP ; DIP { CONS } ; PUSH bool True } { NIL string ; PUSH bool False }  } } ;
input { Stack_elt bool True ; Stack_elt (list string) { "a" ; "b" ; "c" } ; Stack_elt (list string) {} } ;
output { Stack_elt (list string) { } ; Stack_elt (list string) { "c" ; "b" ; "a" } }