/* Allows the user to set their own exception handler. */

#ifndef _USER_EXCEPTION_H
#define _USER_EXCEPTION_H

void set_user_exception_handler(void (*fn)(void));

#endif