tests.extra/regress-thread_exit_IRQ/helper.h

#include <compartment.h>
void *__cheri_compartment("helper") help();