let rec base_address m l = match l with | L0addr _ -> l | L0depl (l, _) -> base_address m l | L0ptr _ | L0shift _ -> L0ptr (Hlib.base (pointer_of_loc l))