Symbol: EC_CSR_BINT