let is_volatile_vi vi = let vi_vol = List.exists (function (Attr("volatile",_)) -> true | _ -> false) vi.vattr in let typ_vol = is_volatile_tp vi.vtype in vi_vol || typ_vol