Symbol: MUL_PR_X