Sat01.java

public class Sat01 {
	public static void main(final java.lang.String[] args) {
		int N = 4;
		char[] input = new char[N];
		int x=input.length;
		assert (N == 4);
	}
}