--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/misc/coverity_model.c	Sat Nov 15 13:52:07 2014 +0300
@@ -0,0 +1,7 @@
+void fpcrtl_halt(int num) {
+    __coverity_panic__();
+}
+
+int fpcrtl_abs(int num) {
+    return num >= 0 ? num : -num;
+}