#include <stdio.h>
#include <stdlib.h>
#include "myheader.h"

int main()
{
    char name[50];
    while(gets(name) != NULL)
    {
        char *res = foo(name);
        printf("%s: %s\n", name, res);
        free(res);
    }
    return EXIT_SUCCESS;
}