val x : int ref
val create : string -> string
val variable : string -> string