oldrepex now passes doctests.