// S : tags   error c min todo  $TAGS
// S : expect --result error --location-comment ERROR
// S : cc     -o test.bc -Os $CC_OPT $file
// S : verify --liveness $V_OPT test.bc

#include <dios.h>
#include <sys/divm.h>
#include <stdbool.h>

int next( int state )
{
    switch ( state )
    {
        case -1:
            return 0;
        case 0:
            return __vm_choose( 3 ); /* 0, 1, 2 */
        case 1:
            return 3;
        case 3:
            return 4;
        case 4:
            return 0;
        case 2:
            if ( __vm_choose( 2 ) )
            {
                __dios_trace_f( "acc" );
                __vm_ctl_flag( 0, _VM_CF_Accepting ); return 4; /* ERROR */
            }
            return 4;

    }
    return 0;
}

int main()
{
    int state = -1, oldstate;

    while ( true )
    {
        oldstate = 0;
        __dios_reschedule();
        oldstate = state;
        state = next( state );
        __dios_trace_f( "state: %d -> %d", oldstate, state );
    }
}