#include <stdio.h> int howdy(const char *s) { return printf("howdy: %s\n", s); }