Add solution code to redefining_built-in.rst.