* globals linkage + visibility
* more types + const (struct, array, ...)
* more instructions
* analysis passes