First C version of read_time().