typedef void (*QuizCase)(void);

extern QuizCase quiz_cases[];
extern char * quiz_case_names[];