Symbol: ESR_ELx_EC_BKPT32