header time.h int equal