jedisct1 / aes-stream C 21 6 A fast AES-PRF based secure random-number generator drbg csprng aes aes-128