int lib7()
{
    return 1;
}