1 void fpcrtl_halt(int num) {

     2     __coverity_panic__();

     3 }

     4 

     5 int fpcrtl_abs(int num) {

     6     return num >= 0 ? num : -num;

     7 }