void main () {
	int[] a = new int[1];
	a[0]++;
	assert (a[0] == 1);
}