../ simple.rs 24-Jul-2006 01:21 1546 simple.stderr 24-Jul-2006 01:21 1419 simple_guarded_function.rs 24-Jul-2006 01:21 1651 simple_guarded_function.stderr 24-Jul-2006 01:21 2526