sig
type
t = int * int * int * int
end