function __exit($str, $a, $b) { exit($a . 'FATAL: FastJSON decode method failure [malicious or incorrect JSON string]'); }