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