Redirecting to macro.debug_assert_is_empty.html...