void coverity_panic(void* x) {
   __coverity_panic__();
}