Function current_rss_mib

crates/ffi/src/kernel.rs:2186–2196

()

    return LeanIOResult::error_string(&format!(
      "rs_env_extract: failed to write {out}: {e}"
    ));
  }
  if !quiet {
    eprintln!(
      "[rs_env_extract] {} name(s) → {} ({} bytes) from {path}",
      names_vec.len(),
      out,
      sub_bytes.len(),
    );
  }
  LeanIOResult::ok(LeanOwned::box_usize(0))
}

// ===========================================================================