type t
val print: t -> unit
val x: t