void main() {
    IO.println("abc".toUpperCase());
    IO.println("ABC".toLowerCase());
    IO.println("[" + "  hi  ".strip() + "]");
    IO.println("banana".replace("a", "o"));
    IO.println("banana".indexOf("n"));
    IO.println("banana".indexOf("z"));
    IO.println("hello".startsWith("he"));
    IO.println("Main.java".endsWith(".java"));
}

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