def final():
	assert_reg(r0, 0x41018100);