(define impc:aot:insert-gl-proc-binding-details
(lambda (lib-name proc-name type docstring)
(if (and (output-port? *impc:aot:current-output-port*)
;; ignore the binding if we're just binding something
;; from an Extempore AOT-compiled library
(not (and (>= (string-length (atom->string lib-name)) 3)
(string=? "xtm" (substring (atom->string lib-name) 0 3)))))
(begin
(write
(list 'bind-gl-proc lib-name proc-name type docstring)
*impc:aot:current-output-port*)
(newline *impc:aot:current-output-port*)))))