var m = 1755;
var n = 364;
    {
     proc gcd (x:int, y:int)
          var z = 0;
          {
             z = (letrec ((gcd:int (lambda (a:int b:int)
                         (if (equal a b)
                             a
                             (if (greater a b)
                                 (gcd (sub a b) b)
                                 (gcd a (sub b a)))))))
                 (gcd x y));
             print z
          };
     call gcd(m, n)
    }