Symbol: ERDMA_NUM_OPCODES