Symbol: WREG32_P