1  Error [ETYC0372083]: A program must have at least one transition function.
2      --> compiler-test:2:9
3       |
4     2 | program test.alpha {
5       |         ^^^^^^^^^