rtfm-klee-gdb