@ -133,7 +133,7 @@ main(int argc, char **argv)
console_input(&u, '\n', i == argc - 1 ? 0x4 : 0x3);
}
while(!u.dev[0x0f]) {
char c = fgetc(stdin);
int c = fgetc(stdin);
if(c == EOF) {
console_input(&u, 0x00, 0x4);
break;