Added the Sala20RandomStream class