#include <stdlib.h>

int main(/*@unused@*/ int argc, /*@unused@*/ char **argv)
{
   char* dpointer=NULL;
   dpointer = (char*)calloc((size_t)20, (size_t)1);
   if (dpointer==NULL) return 1;
   strcpy (dpointer, "Hello World");
   free (dpointer);
   printf("Output: %s\n", dpointer); /* dpointer points to Nirvana */
   return 0;
}