A more real test for the endpoint via with-redefs.