What's with this GCC workaround? Could you document it why it's needed?