random.c records every write to urandom as well as read