Дык, искать лучше так, где светлее :)
Целостность структурного предложения "PT_LABEL(pt); ... PT_GOTO(pt);"
Равно как и обычный "GOTO".
На одну метку их может быть несколько, помните?
С другой стороны думал о явном указании "куда YIELD-дить".
Ничего разумного не придумалось.
Можно выставить (метку возврата)/(состояние автомата). И callback'ом назначить саму себя.
Или не выходить, но использовать механизм распространения ситуаций.
Я не строю систему вокруг callback-ов, ситуаций, сообщений и прочих "абстракций".
Дункен, для меня, всего лишь удачный вариант представления автомата. Сканирующего.
Единственное что прижилось - rise exception где-то внутри автомата с явно выраженным
местом анализа (уже писал, код до PT_BEGIN).