a test case for the y86