die_you_gravy_sucking_pig_dog
die_you_gravy_sucking_pig_dog();
void __dead die_you_gravy_sucking_pig_dog(void);