5.3.3 上值的生成