019.rs: temporarily use TotalEq instead of Eq
013.rs: to owned is deprecated, use to_string