Source files for course used in level_testing