puts ("first strtok call did return NULL");
puts ("first strtok call did not return NULL");
main (void){  char buf[1] = { 0 };  int result = 0;  if (strtok (buf, " ") != NULL)    {      puts ("first strtok call did return NULL");      result = 1;    }  else if (strtok (NULL, " ") != NULL)    {      puts ("second strtok call did return NULL");      result = 1;    }  return result;}