[()]
[()]
[()]
[()]
[()]
[()]
[(ensure-compiler!)]
[(compile! is-variable)]
[(compile! is-expression)]
[(compile! is-closed)]
[(compile! bc)]
[(listing! metta_compiled_predicate)]
[()]
[()]
[(: CPU (⍃ 2 3))]
[]
[(: ((rule (rule1 axiom)) CPU) (less 2 3))]
0.10user 0.00system 0:00.11elapsed 92%CPU (0avgtext+0avgdata 26296maxresident)k
0inputs+0outputs (1major+3399minor)pagefaults 0swaps