void main() {
    String menu = """
        1. Add a student
        2. View the roster
        3. Quit
        """;
    IO.print(menu);
}

// From Groundwork, chapter 8 (ch08-strings-as-data), box 19.
// This example is from Groundwork, licensed CC BY-NC-SA 4.0.
// Run with: java ch08_19.java