static RandomAccessFile randomAccessFileForReading(File path) ctex {
  ret newRandomAccessFile(path, "r");
}