static RandomAccessFile randomAccessFileForReading(File path) ctex {
  ifdef LeanMode
    ret new RandomAccessFile(path, "r");
  endifdef
  ifndef LeanMode
    ret newRandomAccessFile(path, "r");
  endifndef
}