On Okt 03 2020, Paul Eggert wrote: > That'd be more work to maintain. With GDB you can type "print > AIO_ALLDONE+0" to see the numeric value. Or use print/d. Andreas. -- Andreas Schwab, schwab@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."