code { SIZE } ;
input { Stack_elt (set int) { 1 ; 2 ; 3 ; 4 ; 5 ; 6 } } ;
output { Stack_elt nat 6 }