void a(const char __attribute__((btf_type_tag("a"))) *);