diff --git a/beautiful-racket-demo/hdl-demo/bus.rkt b/beautiful-racket-demo/hdl-demo/bus.rkt
index e72b74f..4e11ea6 100644
--- a/beautiful-racket-demo/hdl-demo/bus.rkt
+++ b/beautiful-racket-demo/hdl-demo/bus.rkt
@@ -120,8 +120,8 @@ base bus:
              #f BUS-TYPE #t)))
         #,(when (syntax-property caller-stx 'writer)
             (with-pattern
-             ([_id-write (suffix-id #'ID "-write")])
-             #'(define _id-write
+             ([ID-WRITE (suffix-id #'ID "-write")])
+             #'(define ID-WRITE
                  (let ([writer (make-bus-writer 'id-write bus-width)])
                    (λ args
                      (define result (apply writer (ID-THUNK) args))
@@ -191,9 +191,10 @@ input bus:
   [(MACRO-NAME ID)
    #'(MACRO-NAME ID default-bus-width)]
   [(MACRO-NAME ID BUS-WIDTH)
-   (syntax-property* #'(define-base-bus ID (λ () 0) BUS-WIDTH)
-                     ['impersonate #'input-bus]
-                     ['writer #t])])
+   (syntax-property
+    (syntax-property #'(define-base-bus ID (λ () 0) BUS-WIDTH)
+                     'impersonate #'input-bus)
+                     'writer #t)])
 
 (module+ test
   (define-input-bus ib 4)
diff --git a/beautiful-racket-demo/hdl-demo/reader.rkt b/beautiful-racket-demo/hdl-demo/reader.rkt
index 4348625..91c0eb9 100644
--- a/beautiful-racket-demo/hdl-demo/reader.rkt
+++ b/beautiful-racket-demo/hdl-demo/reader.rkt
@@ -1,6 +1,6 @@
 #lang br
-(require br/reader-utils "parser.rkt" "tokenizer.rkt")
-
-(define-read-and-read-syntax (source-path input-port)
+(require "parser.rkt" "tokenizer.rkt")
+(provide read-syntax)
+(define (read-syntax source-path input-port)
   #`(module hdl-mod hdl-demo/expander
       #,(parse source-path (tokenize input-port))))
diff --git a/beautiful-racket-demo/hdl-tst-demo/main.rkt b/beautiful-racket-demo/hdl-tst-demo/main.rkt
index 9b4f268..7b4b21a 100644
--- a/beautiful-racket-demo/hdl-tst-demo/main.rkt
+++ b/beautiful-racket-demo/hdl-tst-demo/main.rkt
@@ -1,8 +1,9 @@
 #lang br
 
 (module reader br
-  (require br/reader-utils "parser.rkt" "tokenizer.rkt")
-  (define-read-and-read-syntax (source-path port)
+  (require "parser.rkt" "tokenizer.rkt")
+  (provide read-syntax)
+  (define (read-syntax source-path port)
     (define-values (line col pos) (port-next-location port))
     (define port+newline (input-port-append #f port (open-input-string "\n")))
     (port-count-lines! port+newline)