extGcd

import std.numeric : gcd;
foreach (i; 0..100) {
    foreach (j; 0..100) {
        auto e = extGcd(i, j);
        assert(e[2] == gcd(i, j));
        assert(e[0] * i + e[1] * j == e[2]);
    }
}