int same_name(void)
{
    return 32;
}