Support for assertion checking and logging using GNU C and GDB