- static arrays
- external symbols (vars)
- continue/do while/switch/case/goto
- 'x'=
- constant propagation for '+', '-' and [].
- verify function types