sig val k : int end