Now shadowing-importing defmemo for experimental tests.