// Example: I96c9e2
print "Example: I96c9e2";
previous_setting := GetEchoInput();
SetEchoInput(true);
testsum := procedure(t)
    i := 1;
    sum := 0;
    while i le t do
        sum +:= i^3;
        i +:= 1;
    end while;
    print "Equation is", sum eq (t*(t+1) div 2)^2,
      "for t =", t;
end procedure;
SetEchoInput(previous_setting);
