Use Python3.3 to recode a new TimeRecord version