Conversion of time_members.cc.