benchmarks/compartment-call/callee.h

#include <compartment.h>

int __cheri_compartment("callee") noop_return_rdcycle();