f(){
state default;;
}

default
{
    state_entry()
    {
    }
}