Method "arithmetic demo_,_" is 
[
    a : integer,
    b : integer
|
    Print: “a + b”;
    Print: “a - b”;
    Print: “a × b”; // or a * b
    Print: “a ÷ b”; // or a / b, rounds toward negative infinity
    Print: “a mod b”; // sign matches second argument
    Print: “a ^ b”;
];