(* print current state *)
CASE state OF
| s0to0: Write.Line("0:0");
| s0to15: Write.Line("0:15");
| s0to30: Write.Line("0:30");
| s0to40: Write.Line("0:40");
| s15to0: Write.Line("15:0");
| s15to15: Write.Line("15:15");
| s15to30: Write.Line("15:30");
| s15to40: Write.Line("15:40");
| s30to0: Write.Line("30:0");
| s30to15: Write.Line("30:15");
| s30to30: Write.Line("30:30");
| s30to40: Write.Line("30:40");
| s40to0: Write.Line("40:0");
| s40to15: Write.Line("40:15");
| s40to30: Write.Line("40:30");
| deuce: Write.Line("Deuce");
| advantageA: Write.Line("Advantage A");
| advantageB: Write.Line("Advantage B");
| gameA: Write.Line("Game A"); EXIT
| gameB: Write.Line("Game B"); EXIT
END;
|