#10001-gcc-spurious