Include ChaCha pseudorandom generator