void main() {
    String[] names = {"Ada", "Grace", "Alan", "Katherine"};
    IO.println(names[-1]);
}

// From Groundwork, chapter 7 (ch07-arrays-and-lists), box 4.
// This example is from Groundwork, licensed CC BY-NC-SA 4.0.
// Run with: java ch07_04.java
// This fails on purpose: it throws java.lang.ArrayIndexOutOfBoundsException—Java has no negative indexes, so index -1 does not exist and the program stops. The exception is the lesson.