Help for this page
while (1) { given (<>) { ... default { last } } }
do { given (<>) { ... default { last } } } while 1;