$ rustc array5.rs 
$ ./array5
names[0] = Alice
names[1] = Bob
names[2] = Chris
names[3] = David