Example 5.23. upper

    输出: