#include <stdio.h>
#include <string.h>

int main(void) {
	char buff[20];
	strcpy(buff, "Allie has a cat.");
	printf("%s\n", buff);
	return 0;
}