#10000-gcc-spurious