Removed unget_char