Symbol: take_input