__xlated
#define __xlated(msg) __attribute__((btf_decl_tag("comment:test_expect_xlated=" XSTR(__COUNTER__) "=" msg)))
__xlated("0: *(u64 *)(r10 -8) = r1")
__xlated("0: r6 = *(u64 *)(r1 +0)")
__xlated("0: *(u64 *)(r10 -8) = r1")
__xlated("0: r6 = *(u64 *)(r1 +0)")
__xlated("0: r6 = *(u64 *)(r1 +0)")
__xlated("0: *(u64 *)(r10 -8) = r1")
__xlated("0: r6 = *(u64 *)(r1 +0)")
__xlated("0: r8 = r1")