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))