(require "../../runtime/numbers.BRU")
(require "../../runtime/factorials.BRU")
(fac (* 5 1))