#include <stdio.h>

int howdy(const char *s)
{
	return printf("howdy: %s\n", s);
}