sml destruction compilation