Re: man console_codes ?