[voraa]

который журналирует исполнение каждой инструкции на каждой строчке и во множестве итераций цикла.

А память симулируемой машины? Ее же тоже надо журналировать для отката.
Как быстро переполнится память на машине симуляторе?