code { XOR } ;
input { Stack_elt nat 0 ; Stack_elt nat 1 } ;
output { Stack_elt nat 1 }