Trying to guess what GCC wants in this case is baffling...