@end example
@noindent The compiler is quite likely to notice that the value that you
write to the array is never used again and thereby decide not to write
@end example
@noindent The compiler is quite likely to notice that the value that you
write to the array is never used again and thereby decide not to write