Unnamed

    while (!done)
    {
    see_what_user_has_pressed_if_anything()
    do_game()
    wait_250_ms_or_until_user_presses_key()
    }