integer x()
{
    if (1)
    {
        state default;
    }
    return 0;
}

default
{
    timer()
    {
        x();
    }
}