console_getkey
console_getkey, /* getkey */
console_getkey,
return (console_getkey ());
int console_getkey (void);
