fn write_region( start: i64, end: i64, filename: &str, append: Option<()>, visit: Option<()>, lockname: Option<()>, mustbenew: Option<()>, env: &Rt<Env<'_>>, ) -> Result<()>