[] extern C Functions
[] congruence solver