Initial version of top-level signal handler (for null-pointer derefs etc.)