object
  method read_file :
    Mapred_io.read_flag list ->
    Mapred_fs.filesystem ->
    Plasma_shm.shm_manager ->
    Mapred_io.record_config ->
    string -> int64 -> int64 -> Mapred_io.record_reader
end