code { LSR } ;
input { Stack_elt nat 32 ; Stack_elt nat 300 } ;
output Overflow