Re: terminal input coding