sig
  type ('a, 'b, 'c) t = ('a, 'b, 'c) Space_safe_tuple.T3.t
  val create : '-> '-> '-> ('a, 'b, 'c) t
  external get1 : ('a, 'b, 'c) t -> 'a = "%field0"
  external get2 : ('a, 'b, 'c) t -> 'b = "%field1"
  val get3 : ('a, 'b, 'c) t -> 'c
end