DE: Initial Red translation