let path_def = { kind = `POINTER; inj = Data.unsafe_pointer_option.inj; proj = (fun x -> may_map PathDef.duplicate (Data.unsafe_pointer_option.proj x)) }