Contracts as types and framework for special global variables.
Magic variables.
Another test for struct references.