(define impc:aot:insert-static-binding-details
(lambda (name type)
(if (output-port? *impc:aot:current-output-port*)
(begin
(write (list 'bind-lib (string->symbol *impc:aot:current-lib-name*) name type)
*impc:aot:current-output-port*)
(newline *impc:aot:current-output-port*)))))