block6.c

int *gs_char = (int*)0x00C000;

while (1) {
    if (*gs_char & (1 << 7)) {
        handle_key_input();
    }

    // For argument's sake
    *(int *)0x00C010;
}