Add settings.ini setting and hwengine param to disable holiday silliness (hat changes, etc.)
settings.ini: In section [misc], add "holidaySilliness=false"
hwengine: Add --no-holiday-silliness to command-line
void fpcrtl_halt(int num) {
__coverity_panic__();
}
int fpcrtl_abs(int num) {
return num >= 0 ? num : -num;
}