void main() {
    String[] names = {"Ada", "Grace", "Alan"};

    for (int i = 0; i < names.length; i++) {
        IO.println((i + 1) + ". " + names[i]);
    }
}

// From Groundwork, chapter 7 (ch07-arrays-and-lists), box 9.
// This example is from Groundwork, licensed CC BY-NC-SA 4.0.
// Run with: java ch07_09.java