Refactoring a built-in test to not depend on the prelude.