Updated naive dsfmt example in spec