exc_class
uint64_t exc_class __unused,
uint64_t exc_class,
static enum exc_class
enum exc_class exc1, exc2;