Used in php_mongo_api_throw_exception()...