Thanks. I guess it doesn't much matter how Windows treats them since we don't read from `/dev/urandom` or other files there.