added RandomAccessFileOp and renamed some src