while (EXPR) { REDO: #body of while block } continue { NEXT: #body of next block } LAST: