GCC is sometimes dumb