#include <stdio.h>

void print(char s[]);

int main()
{
    print((char *)"abcdef");
    return 0;
}

void print(char s[])
{
    printf("%s\n",s);
}