to cod [ codded ; codded ]