The posted program runs fine in taint mode.

Ah yes, you are quite right. I should have known better than to trust the assertion that it did not.