Comment Link to preprint (Score 2) 273
http://arxiv.org/abs/1008.3907
Looks pretty much like it, for anyone interested.
And as always, extraordinary claims will require extraordinary proof, so we'll have to wait a bit.
Real Programs don't use shared text. Otherwise, how can they use functions for scratch space after they are finished calling them?