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

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