Redirecting to macro.debug_assert_ok.html...