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