What I didn't get about the SSA example was why CPS wasn't considered. It's literally the functional language equivalent.

As for running a static variable across to unrelated functions, I don't know any language where that's considered a good idea. Well maybe Fortran, but that really doesn't help the argument.