Symbol: bcr_mmu_4