let rec object_of_pointed = function | Kptr te | Kset(Kptr te) -> Ctypes.object_of te | _ -> WpLog.fatal "Dereferencing a non-pointer value"