#include <time.h>

size_t format_time (
    char *s, size_t maxsize,
    const char *format,
    int isdst,int gmtoff,char* zonename,time_t t);