added debugSegfault