let s = Data::as_string(a); s.parse::().unwrap()