Hmm, we may have to discuss this sometime. As far as I know it's possible that the prefix variant optimizes to faster code.

That might not be the case for the popular platforms we target at, but in embedded development.

But yes, you're right and I'll change that for now!