First draft of C write_time().