sig val next : unit -> int end