old_segmentation_fault

SignalFunction old_segmentation_fault;