We can optimize this further:

unsatisfied = true
while(unsatisfied) {
    key.dispatch(
        Keyboard::Ctrl,
        Keyboard::s
    )
}

…No, there is no instance where unsatisfied changes state

sync

sync

sync