Add constants in utc_time.h.