/**
 * Implements `StatFile(path)` operation.
 */
message StatFile {
  string path = 1;
}