void main() {
    IO.println("Name:\tAda\nRole:\tMathematician");
    IO.println("Ada said, \"Hello.\"");
}

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