c: Use API from machine/exceptions.h for exception and interrupt example.