28935f2753
code size by 3616 bytes. Furthemore, it was previously ignored by GCC. While I'm at it, fix some bogus comments.