while (1) {
    given (<>) {
        when (…) {…}
        default { last }
    }
}