def final():
	assert_reg(r0, 0x00015000)
	assert_reg(r2, 0x00015000)
	assert_reg(r3, 0xaaa9fd55)