realtimeroboticsgroup.org / RealtimeRoboticsGroup / test / 6802a9d214ff6465b16b24d320fde1078b587ba1 / . / third_party / cddlib / lib-src-gmp / cddmp.h