strftime hvordan får jeg det rigtige resultat?

Hej, jeg har lavet følgende kode:

#include <stdio.h>
#include <time.h>

int main(void)
{
  time_t result;
  char timeStamp[80];

  result = time(NULL);
  strftime(timeStamp,strlen(timeStamp)+1,"%a %d %b %H:%M:% S",localtime(&result));

  printf("Tiden er:\n%s GMT\n",timeStamp);
   
  return(0);
}

Min streng skal indeholde en tid, som ligner: 
Thu, 22 May 20:16:00