Кстати, про "labels as values" впервые здесь узнал. Интересная
фича. Эдакая альтернативная реализация классических конечных
автоматов - вместо switch фигачить goto *label[state_idx]… P.S. а насчет openwatcom пишут, что оно несвободное. То бишь не существует…