sig
  type t = private int
  val of_int : int -> Nat0.t
  external unsafe_of_int : int -> Nat0.t = "%identity"
end