Make pointer casting work.
3 files changed