consts gcd :: "nat*nat => nat"
