are arrays allowed in strictly conforming programs?

[Hans van Eck]

In the December '88 draft of the standard in section 4.11.1, there is a line
that says:

If an array is accessed beyond the end of *an* object, the behavior is
undefined. (emphasis mine)

Isn't this unambiguously saying that strictly conforming programs are hardly
allowed to access arrays at all?

An example:
	int a[2];
	a[1] = 1;

This would be illegal since a[1] lies beyond a[0], which is an object.

Just curious.
--
Hans van Eck, Dept. of Mathematics and Computer Science, Vrije Universiteit,
De Boelelaan 1081, 1081 HV Amsterdam, The Netherlands
Voice: +31 20 5485302 			Email:	eck at cs.vu.nl