Rename File: rand_ops.h

File Manager