../ mod.rs 24-Jul-2006 01:21 702 permute.rs 24-Jul-2006 01:21 2723 slice.rs 24-Jul-2006 01:21 2519 therm.rs 24-Jul-2006 01:21 8561