Handle pointer casts correctly in Snow