let get () = nextid := !nextid + 1; !nextid