sig
val
k : int
end