../ full_catch.rs 24-Jul-2006 01:21 502 ifnone.rs 24-Jul-2006 01:21 609 lazy_catch.rs 24-Jul-2006 01:21 1205