diff -r 31570b766315 -r ed5a6478e710 misc/coverity_model.c
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/misc/coverity_model.c	Tue Nov 10 20:43:13 2015 +0100
@@ -0,0 +1,7 @@
+void fpcrtl_halt(int num) {
+    __coverity_panic__();
+}
+
+int fpcrtl_abs(int num) {
+    return num >= 0 ? num : -num;
+}