void process_input();