var m = 1755, 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)
    }