Rough destruction compilation