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