__xlated
#define __xlated(msg) __test_tag("test_expect_xlated=" 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")