let is_volatile vi =
  let vi_vol =
    List.exists (function (Attr("volatile",_)) -> true
      | _ -> false) vi.vattr in
  let typ_vol =
    List.exists (function (Attr("volatile",_)) -> true
      | _ -> false) (typeAttrs vi.vtype) in
  if !debug && (vi_vol || typ_vol) then
    (Kernel.debug "unusedRemover: %s is volatile" vi.vname);
  if !debug && not(vi_vol || typ_vol) then
    (Kernel.debug "unusedRemover: %s is not volatile" vi.vname);
  vi_vol || typ_vol