Splice in define-exp