Implementing ISAAC