TEST_NAME
printf("\t-t %s\n", TEST_NAME);
const char *test_name = TEST_NAME;
#define SKIP_TEST(TEST_NAME) \
SEC("syscall") int TEST_NAME(void *ctx) \