(define impc:aot:insert-footer
(lambda (libname)
(if (output-port? *impc:aot:current-output-port*)
(begin
(display (string-append "(print-with-colors 'green 'default #t (print \"done\"))")
*impc:aot:current-output-port*)
(display (string-append "(print \" in\" (- (clock:clock) *xtmlib-" (substring libname 3) "-loaded-timer*) \"seconds\\n\")\n")
*impc:aot:current-output-port*)
(display (string-append "(define *xtmlib-" (substring libname 3) "-loaded-timer* (clock:clock))\n")
*impc:aot:current-output-port*)
(display "(set! *impc:compiler:message:level* *impc:aot:prev-compiler-message-level*)\n"
*impc:aot:current-output-port*)))))