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