#include <string.h>
#include <stdio.h>                 /* for printf */
void tst_strncpy ( char *s) {
   char buf [21];
   strncpy (buf, s, sizeof (buf));
   buf [sizeof (buf)] = '\0';
}