let pointer_access p = Fol.Tapp("deref_pointer", [p])