../ check.rs 24-Jul-2006 01:21 1778 compilation.rs 24-Jul-2006 01:21 763 slice-contains.rs 24-Jul-2006 01:21 12725