../ borrowed-real-world-unvalidated.rs 24-Jul-2006 01:21 3966 borrowed-real-world-validated.rs 24-Jul-2006 01:21 3931 utilities.rs 24-Jul-2006 01:21 7908