Simple ISAAC test case