#include "../nanokernel/int_latency_bench.c"