edc-r32_c