docs: def StatResultFromStatEntry(
      stat_entry):
    """Returns a `os.stat_result` with most information from `StatEntry`.
  
    This is a lossy conversion, only the 10 first stat_result fields are
    populated, because the os.stat_result constructor is inflexible.
  
    Args:
      stat_entry: An instance of rdf_client_fs.StatEntry.
  
    Returns:
      An instance of `os.stat_result` with basic fields populated.
    """
    values = []
    for attr in _STAT_ATTRS[:10]:
      values.append(stat_entry.Get(attr))
    return os.stat_result(values)