code { SWAP } ;
input { Stack_elt unit Unit };
output (StaticError _);