(use-modules (srfi srfi-9))
(define-record-type data
  (make-data stx)
  data?
  (stx data-stx))

(define-syntax b
  (lambda (x)
    (syntax-case x ()
      ((_ s)
       (with-syntax ((d (datum->syntax #'#f (make-data #'s))))
         #'(c #'s #'d))))))

(define (c s d)
  (let ((d (data-stx (syntax->datum d))))
    (pk s)
    (pk d)
    (bound-identifier=? s d)))

(eval '(let ((t 1)) (b t)) (current-module))