let pretty_offsetmap lva fmt offsetmap =
  begin match offsetmap with
  | None ->  Format.fprintf fmt "<BOTTOM>"
  | Some off ->
      let typ = match lva with
        | LVal lv -> Some (typeOfLval lv)
        | AbsoluteMem -> None
      in
      Format.fprintf fmt "%a%a"
        pretty_lval_or_absolute lva
        (Cvalue.V_Offsetmap.pretty_typ typ) off
  end