# Wait for the player to press the button, but no longer than 5 seconds.
# Whichever happens first wins; the other is cancelled.
race:
    ButtonPressed.Await()    # arm A: the player acted
    Sleep(5.0)               # arm B: time ran out