// PR c++/69158
char IdHdr[] = { (IdHdr)[0] };