Symbol: ESR_ELx_EC_BRK64