extern int a1(void);

int b(void)
{
    return a1();
}