class SegfaultException(Exception):
    pass