int ext1()
{
    return 1;
}