typedef void (*QuizCase)(void);
  
  extern QuizCase quiz_cases[];
  extern char * quiz_case_names[];