#include <stdio.h>

extern int a(int);
extern int b(int);
int main (int argc, char const *argv[])
{
    printf ("a(1) returns %d\n", a(1));
    printf ("b(2) returns %d\n", b(2));
}