Abbreviation of SegmentationFault.