sig
val
next : unit
->
int
end