comment code that triggers a compiler-bug in GCC