int user_input(int, char **);