Symbol: PULLTYPESEL_SHIFT