Add simple example using ISAAC