let untyped_variable = (ref false : bool Pervasives.ref)