extern int get_input(char prompt[]);