let is_void typ =
  match Cil.unrollType typ with
    | TVoid _ -> true
    | _ -> false