void main() {
    String height = "72";
    IO.println("That is " + (height / 12) + " feet");
}

// From Groundwork, chapter 2 (ch02-variables-and-types), box 17.
// This example is from Groundwork, licensed CC BY-NC-SA 4.0.
// Run with: java ch02_17.java
// This fails on purpose: it does not compile—This program divides a String by a number, which javac refuses. Fixing it is the exercise.