console_checkkey
console_checkkey, /* checkkey */
console_checkkey,
console_checkkey,
if (console_checkkey () != -1)
return (console_checkkey ());
int console_checkkey (void);