+
−void fpcrtl_halt(int num) {
+
−    __coverity_panic__();
+
−}
+
−
+
−int fpcrtl_abs(int num) {
+
−    return num >= 0 ? num : -num;
+
−}