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

int main()
{
    char *p = foo("DVTK-DVSC");
    printf("%s\n", p);
    free(p);
    return EXIT_SUCCESS;
}