rust/tests/run-pass-fullmir/catch.stdout