main := josephus(41, 3);

josephus(n, k) := josephusHelper(n, k, 1, 0);

josephusHelper(n, k, i, r) :=
        r when i > n
    else
        josephusHelper(n, k, i + 1, (r + k) mod i);