extern void print_message(const char* const Message);

int main(int argc, char* argv[])
{
  print_message("Howdy, World!\n");
  return 0;
}