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