sig
val
size : int
end