sig   val x : int Pervasives.ref   val create : string -> string   val variable : string -> string end