Testing with defns over defmacros