//#Safe
procedure main() {
	var i : real;
	while (i <= 333.0) {
		i := i + 1.0;
	}
	assert i >= 22.0;
}