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