WCOREDUMP          80 maint/gnulib/lib/sys_wait.in.h #  define WCOREDUMP(x) ((x) & 0x80)
WCOREDUMP         106 maint/gnulib/lib/sys_wait.in.h # define WCOREDUMP(x) 0