1. write(stdout, "a[0]")
    2. write(stdout, ": ")
    3. writeLine(stdout, a[0])
    4. write(stdout, "a[1]")
    5. write(stdout, ": ")
    6. writeLine(stdout, a[1])
    7. write(stdout, "x")
    8. write(stdout, ": ")
    9. writeLine(stdout, x)