code { GE } ;
input { Stack_elt int -1 } ;
output { Stack_elt bool False } ;