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