[adamnemecek]

If only there were a formalism where the programmer could specify how the values are used before the program is ran. But since there isn't I guess we'll have to have the runtimes do this.

[psd1]

'spiler alert