void _general_exception_handler (unsigned cause, unsigned status);