/// export = dw.io.RandomAccessFileReader;