Sat04.java

public class Sat04 {
	public static void main(final java.lang.String[] args) {
		int a[] = new int[4];
		a[0] = 42;
		assert (a[0] == 42);
	}
}