Symbol: kern_abort2