@cadr I think the current test failures are because we need to import pycket.arity in the test code so things get defined