I think there should be a `(gen-tests-main)` here.