miscellaneous technical notes

1. generating backtraces with gdb