1#include<stdio.h>
2
3void
4print(char* s)
5{
6	printf("%s\n",s);
7}
8