randombytes_buf() returns void.