f(){}
default
{
    state_entry()
    {
        f(1);
    }
}