let art_vpath_dash = { kind = `POINTER; inj = (fun x -> `POINTER (may_map (fun (x,y) -> convert_dash x y) x)); proj = (fun x -> may_map get_dash (Data.pointer.proj x)) }