/tests/specs/check/use_unknown_in_catch_variables/