type t = int

let _id = ref ~-1

let make () = incr _id; !_id

external to_int : t -> int = "%identity"