pub fn verify_string(fname: Symbol, string: &str) -> Result<(), Diagnostics>