code { AND } ;
input { Stack_elt int 12 ; Stack_elt nat 5 } ;
output { Stack_elt nat 4 }