let is_void_pointer exp = 
  match (type_of exp).ct_ty with
    Tpointer { ct_ty = Tvoid } -> true
  | _ -> false