#include "time_impl.h" const char __utc[] = "UTC";