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