PL0-GNU-M2/Tests/test1.pl0

(* groesster gemeinsamer Teiler zweier Zahlen *)
(*$T+ *)
(*$C+ *)

VAR i   : INTEGER;
VAR a,b : INTEGER;

PROCEDURE reduce;
BEGIN
   IF a > b THEN a := a - b;
   IF b > a THEN b := b - a;
END;

BEGIN
   ?a;
   ?b;
   WHILE  a#b DO CALL reduce;
   !a
END.