code { LE } ;
input { Stack_elt int 9999999 } ;
output { Stack_elt bool False } ;