// Corrupt foo.txt's final crc32 byte, in both
		// the file header and TOC. (0x7e -> 0x7f)
		b[0x11]++
		b[0x9d]++

		// TODO(bradfitz): add a new test that only corrupts
		// one of these values, and verify that that's also an
		// error. Currently, the reader code doesn't verify the
		// fileheader and TOC's crc32 match if they're both
		// non-zero and only the second line above, the TOC,
		// is what matters.

	TLBI	IPAS2LE1, R15                      // af840cd5
	TLBI	VAE2, R16                          // 30870cd5
	TLBI	VALE2, R17                         // b1870cd5
	TLBI	VAE3IS, ZR                         // 3f830ed5
	TLBI	VALE3IS, R19                       // b3830ed5
	TLBI	VAE3, R20                          // 34870ed5
	TLBI	VALE3, R21                         // b5870ed5