Trying to get trace-define-syntax

trace-define-syntax.rkt

#lang racket
(module ...

  (define-syntax (trace syn)
    ....)
    
  (define-syntax (trace-define-syntax syn)
    (syntax-case syn ()
      [(_ e ...)
       ....
       #`(define-syntax #,name
           (let ([#,name #,def])
             ;; Local require doesn't work; what to do?
             ;; (local-require (only-in racket/trace trace))
             (trace #,name)
             #,name))]))
)