Sat07.java

public class Sat07 {
	public static void main(final java.lang.String[] args) {
		int a[] = new int[5];
		a[0] = 42;
		a[1] = 43;
		int j = a[0];
		assert j == 42;
	}
}