MultiSource/Benchmarks/Prolangs-C/football/io.h

extern int str_to_int(char *s);
extern void display_main_menu(FILE *output,FILE *input);
extern int white_space (char A);
extern void lower_case(char *str);
extern void prompt(FILE *output,FILE *input);