run_tests_aux
#define RUN(skel) run_tests_aux(#skel, skel##__elf_bytes, NULL)
run_tests_aux("verifier_array_access",
run_tests_aux("verifier_value_ptr_arith",