(import frontend)

(display "brminv")
(newline)