init{
    int x=0;
    do
    :: x<=9 ->
        x=x+1
        printf("x=%d\n",x);
        if
        :: x==10 -> break;
        :: else->
        fi
    od;
}