Symbol: flush_input