void __failed_assertion();
