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