type t = private int val make : unit -> t external to_int : t -> int = "%identity"