Sat02.java

public class Sat02 {
	public static void main(String[] args) {
		int i = 0;
		while (i < 10)
			i = i + 1;
		assert (i == 10); // holds
	}
}