Symbol: get_inputline