Да вот стал разбираться в подробностях - вообще странно. Заполняет он память правильно и табличку блоков строит тоже нормально (по дампу смотрел).
А вот потом уходит в цикл проверочного чтения и из него не возвращается.
Судя по дампу выполненных инструкций уходит куда-то в эмулятор и всё, так зацикливается.
Причем пропадает где-то внутри приведённой выше процедуры проверки. Там стек не используется.