(ASSEMBLE.CLAUSE ( statistics 2 si ) 16
    (allocate)
    (get.Ai.variable.Yn 1 1)
    (get.Ai.variable.Yn 2 2)
    (put.Ai.value.Yn 1 1)
    (call 5 statistic 1 si)
    (put.Ai.value.Yn 2 2)
    (put.Ai.value.Yn 1 1)
    (depart statistic 2 si)
)

(ASSEMBLE.CLAUSE ( statistic 1 si ) 4
    (get.Ai.constant 1 runtime)
    (proceed)
)

(ASSEMBLE.CLAUSE ( statistic 1 si ) 4
    (get.Ai.constant 1 memory)
    (proceed)
)

(ASSEMBLE.CLAUSE ( statistic 1 si ) 4
    (get.Ai.constant 1 program)
    (proceed)
)

(ASSEMBLE.CLAUSE ( statistic 1 si ) 4
    (get.Ai.constant 1 global←stack)
    (proceed)
)

(ASSEMBLE.CLAUSE ( statistic 1 si ) 4
    (get.Ai.constant 1 local←stack)
    (proceed)
)

(ASSEMBLE.CLAUSE ( statistic 1 si ) 4
    (get.Ai.constant 1 trail)
    (proceed)
)

(ASSEMBLE.CLAUSE ( statistic 1 si ) 4
    (get.Ai.constant 1 garbage←collection)
    (proceed)
)

(ASSEMBLE.CLAUSE ( statistic 1 si ) 4
    (get.Ai.constant 1 stack←shifts)
    (proceed)
)

(ASSEMBLE.CLAUSE ( statistic 1 si ) 4
    (get.Ai.constant 1 core)
    (proceed)
)

(ASSEMBLE.CLAUSE ( statistic 1 si ) 4
    (get.Ai.constant 1 heap)
    (proceed)
)

(ASSEMBLE.CLAUSE ( statistics 0 si ) 179
    (allocate)
    (put.Ai.list 1)
    (unify.void 1)
    (unify.nil)
    (put.Ai.list 2)
    (unify.variable.Yn 13)
    (unify.value.Xn 1)
    (put.Ai.symbol 1 memory)
    (call 16 statistic 2 si)
    (put.Ai.list 1)
    (unify.variable.Yn 12)
    (unify.nil)
    (put.Ai.list 2)
    (unify.variable.Yn 11)
    (unify.value.Xn 1)
    (put.Ai.symbol 1 program)
    (call 16 statistic 2 si)
    (load.value.Yn 11)
    (load.value.Yn 12)
    (add)
    (store.variable.Yn 10)
    (put.Ai.list 1)
    (unify.variable.Yn 9)
    (unify.nil)
    (put.Ai.list 2)
    (unify.variable.Yn 6)
    (unify.value.Xn 1)
    (put.Ai.symbol 1 global←stack)
    (call 16 statistic 2 si)
    (put.Ai.list 2)
    (unify.variable.Yn 5)
    (unify.void 1)
    (put.Ai.symbol 1 trail)
    (call 16 statistic 2 si)
    (load.value.Yn 6)
    (load.value.Yn 9)
    (add)
    (load.value.Yn 5)
    (add)
    (store.variable.Yn 7)
    (load.value.Yn 6)
    (load.value.Yn 5)
    (add)
    (store.variable.Yn 8)
    (put.Ai.list 1)
    (unify.variable.Yn 4)
    (unify.nil)
    (put.Ai.list 2)
    (unify.variable.Yn 3)
    (unify.value.Xn 1)
    (put.Ai.symbol 1 local←stack)
    (call 16 statistic 2 si)
    (load.value.Yn 3)
    (load.value.Yn 4)
    (add)
    (store.variable.Yn 2)
    (put.Ai.list 2)
    (unify.variable.Yn 1)
    (unify.void 1)
    (put.Ai.symbol 1 runtime)
    (call 16 statistic 2 si)
    (put.Ai.list 2)
    (unify.value.Yn 13)
    (unify.nil)
    (put.Ai.symbol 1 %~Nmemory% %(total%)% %~t%~d% bytes%~34%+%~n)
    (call 15 format 2 format)
    (put.Ai.list 2)
    (unify.value.Yn 12)
    (unify.nil)
    (put.Ai.list 1)
    (unify.value.Yn 11)
    (unify.value.Xn 2)
    (put.Ai.list 2)
    (unify.value.Yn 10)
    (unify.value.Xn 1)
    (put.Ai.symbol 1 % % % program% space% %~t%~d% bytes%:% %~36%|%~t%~d% in% use%,% %~18%+%~t%~d% free%~14%+%~n)
    (call 12 format 2 format)
    (put.Ai.list 2)
    (unify.value.Yn 9)
    (unify.nil)
    (put.Ai.list 1)
    (unify.value.Yn 8)
    (unify.value.Xn 2)
    (put.Ai.list 2)
    (unify.value.Yn 7)
    (unify.value.Xn 1)
    (put.Ai.symbol 1 % % % global% space% %~t%~d% bytes%:% %~36%+%~t%~d% in% use%,% %~18%+%~t%~d% free%~14%+%~n)
    (call 9 format 2 format)
    (put.Ai.list 2)
    (unify.value.Yn 6)
    (unify.nil)
    (put.Ai.symbol 1 % % % % % % global% stack% %~t%~d% bytes%~51%|%~n)
    (call 8 format 2 format)
    (put.Ai.list 2)
    (unify.value.Yn 5)
    (unify.nil)
    (put.Ai.symbol 1 % % % % % % trail% % % % % % % % %~t%~d% bytes%~51%|%~n)
    (call 7 format 2 format)
    (put.Ai.list 2)
    (unify.value.Yn 4)
    (unify.nil)
    (put.Ai.list 1)
    (unify.value.Yn 3)
    (unify.value.Xn 2)
    (put.Ai.list 2)
    (unify.value.Yn 2)
    (unify.value.Xn 1)
    (put.Ai.symbol 1 % % % local% stack% %~t%~d% bytes%:% %~36%+%~t%~d% in% use%,% %~18%+%~t%~d% free%~14%+%~n%~n)
    (call 4 format 2 format)
    (put.Ai.list 1)
    (unify.constant 0)
    (unify.nil)
    (put.Ai.list 2)
    (unify.constant 0)
    (unify.value.Xn 1)
    (put.Ai.list 1)
    (unify.constant 0)
    (unify.value.Xn 2)
    (put.Ai.list 2)
    (unify.constant 0)
    (unify.value.Xn 1)
    (put.Ai.symbol 1 % %~3d% sec%.% for% %~w% program%,% %~w% global% and% %~w% local% space% overflows%~n)
    (call 4 format 2 format)
    (put.Ai.list 2)
    (unify.value.Yn 1)
    (unify.nil)
    (put.Ai.symbol 1 % %~3d% sec%.% runtime%~n)
    (call 3 format 2 format)
    (fail)
)

(ASSEMBLE.CLAUSE ( statistics 0 si ) 1
    (proceed)
)

STOP