[x] i64 support
[x] congruence solver
[] extern C Functions