tests.extra/regress-thread_exit_IRQ/helper.h

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