Symbol: J_RANGE_SHIFT