default
{
    state_entry()
    {
        @PAGE@(1, 2);
    }
}