- Use sandi instead of dataenc (bugs.debian.org/836686) - Only try to import module from the package being tested (sometimes packages have modules with equal names, so a test for module presence could succeed when you have one package installed instead of another)

void fpcrtl_halt(int num) {
    __coverity_panic__();
}

int fpcrtl_abs(int num) {
    return num >= 0 ? num : -num;
}