fun put_int_array(key: JavaString, value: Array[Int])
	  import Array[Int].length, Array[Int].[] in "Java" `{
		int[] java_array = new int[(int)Array_of_Int_length(value)];

		for(int i=0; i < java_array.length; ++i)
			java_array[i] = (int) Array_of_Int__index(value, i);

		self.putIntArray(key, java_array);
	`}