extern void __VERIFIER_error() __attribute__ ((__noreturn__));