/**
 * Implements `ReadFile(path, [start], [end])` operation.
 * Send this message to read a file at a given path with
 * an optional range (start, end).
 */
message ReadFile {
  string path = 1;
  uint32 start = 2;
  uint32 end = 3;
}