Example 5.13. lower

    输出: