$ lmntal --slimcode t.lmn | src/slim --nd -
run_nd
>>>react_rule before_interpret current_state = 0
COMMIT
>>>react_rule after_interpret current_state = 0
do_mc
>>>>>>nd_exec current_state=14709664>>>>>>>>>>>>>>>>>>
no entry

>>>react_rule before_interpret current_state = 14709664
no entry

uniq
current_state->mem = 0xe04070, global_root = 0xe04070
copy_cell
copy_global = 0xe07490
@uniq global_root
9 entry->key = bbb(a)

@uniq copy_global
no entry

uniq break
COMMIT
copy_cell

COMMIT before interpret
global_root
9 entry->key = bbb(a)

tmp_global_root
9 entry->key = bbb(a)


COMMIT after interpret
global_root
9 entry->key = bbb(a)

tmp_global_root
9 entry->key = bbb(a)

@@COMMIT cur_state->mem = 0xe073a0, global_root = 0xe04070
cur_state->mem
9 entry->key = bbb(a)

global_root
9 entry->key = bbb(a)

@@@@COMMIT cur_state->mem = 0xe073a0, global_root = 0xe04070
cur_state->mem
no entry

global_root
9 entry->key = bbb(a)

COMMIT new_state=14787720
9 entry->key = bbb(a)

uniq
current_state->mem = 0xe07490, global_root = 0xe04070
copy_cell
copy_global = 0xe1a558
uniq FALSE
uniq
current_state->mem = 0xe07490, global_root = 0xe04070
copy_cell
copy_global = 0xe1ab50
@uniq global_root
9 entry->key = bbb(a)
10 entry->key = ccc(a)

@uniq copy_global
9 entry->key = bbb(a)

uniq break
COMMIT
copy_cell