let startof l ty =
    match l with
      | ARef p -> debug "[startof] %a" pp_path p ; ARef p
      | ARpar (p,n) -> ARpar(p,n)
      | _ -> Mloc (M.startof (mloc_of_loc l) ty)