test edge_zero_k (7) mismatch: expected 1, got 0
input case: n=5 k=0 mod=999999937
exit status 1