// ensure the argument to newarr is converted to int32 or native int
class T {
	public static int Main() {
		char[] a;
		long len = 10;
		a = new char [len];
		return 0;
	}
}