void main() {
    IO.println(7 + 7);
    IO.println("7" + "7");
}

// From Groundwork, chapter 2 (ch02-variables-and-types), box 5.
// This example is from Groundwork, licensed CC BY-NC-SA 4.0.
// Run with: java ch02_05.java