Symbol: pmmu