void doublePrint(int n) {
    IO.println(n * 2);
}

int doubleReturn(int n) {
    return n * 2;
}

void main() {
    doublePrint(5);
    int b = doubleReturn(5);
    IO.println("b is " + b);
}

// From Groundwork, chapter 6 (ch06-methods), box 6.
// This example is from Groundwork, licensed CC BY-NC-SA 4.0.
// Run with: java ch06_06.java