let (point_to : '-> 'a pointer) = fun x -> ref (Some x)