TODO: load test cases as python modules, or separate scripts using the source command?

Include them after the other scripts with -ex in GDB command line