| Meanwhile, I should probably do no w/w for NOINLINE things. I've now done this in the HEAD: no worker/wrapper split for NOINLINE things. Yell if anything breaks, but I don't see that anything bad should happen. Simon