(define impc:aot:insert-xtmacro-binding-details
(lambda (name-and-args docstring body)
(if (output-port? *impc:aot:current-output-port*)
(begin
(write
(list
'bind-macro
name-and-args
docstring
body)
*impc:aot:current-output-port*)
(newline *impc:aot:current-output-port*)))))