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