void main() {
    // Convert a distance from miles to kilometers
    IO.println(26.2 * 1.609);   // a marathon, in km
}

// From Groundwork, chapter 1 (ch01-your-first-programs), box 8.
// This example is from Groundwork, licensed CC BY-NC-SA 4.0.
// Run with: java ch01_08.java