Redirecting to
macro.assert_ok_eq_as_result.html
...