let pretty_offsetmap lv fmt offsetmap =
  begin match offsetmap with
  | None ->  Format.fprintf fmt "<BOTTOM>"
  | Some off ->
      Format.fprintf fmt "%a%a"
        !Ast_printer.d_lval lv
        (Cvalue_type.V_Offsetmap.pretty_typ
            (Some (typeOfLval lv)))
        off
  end