Improved support for assertion checking and logging using GNU C and GDB.