int weak_defined(void)
{
    return 7;
}