In SSA, rather than modelling your program using 16 mutable registers (imperative folk love talking about "the real world" or "real computer"), we use an infinite number of immutable registers.
Infinite registers won't fit in a computer (we only have 16), and not being able to overwrite registers must kill performance right?
