7.12. Cast

TODO...