dxx
pub fn len_file(filename: &str) -> Result<u64, Box<dyn Error>>
len_file returns the byte length of the specified file.