PLACE
    PROGRAM_END,
    PROGRAM_PANIC,
    PROGRAM_START;

MARKING
    PROGRAM_END : 0,
    PROGRAM_PANIC : 0,
    PROGRAM_START : 1;

TRANSITION does_not_return_DIVERGING_CALL
  CONSUME
    PROGRAM_START : 1;
  PRODUCE;