signature SIG = sig
  val x : int
end

structure Struct :> SIG = struct
  val privateField = 41
  val x = 42
end

val _ = __builtin "exit" Struct.x