Fatal Core Dump (a debugging murder mystery played with GDB)