《太平广记·卷二百六十四·无赖二》
蜀人对此事大为欢笑，当时人们都把韩伸叫做池水清。
蜀人大以为欢笑矣，时辈呼韩为池水清。
The people of Shu were greatly amused by this incident, and from that time on Han Shen was commonly known as “Pool Water Is Clear.”
<s>[INST] Convert the following modern Chinese text into Classical Chinese: 蜀人对此事大为欢笑，当时人们都把韩伸叫做池水清。 [/INST] 蜀人大以为欢笑矣，时辈呼韩为池水清。</s>
Convert the following modern Chinese text into Classical Chinese: 蜀人对此事大为欢笑，当时人们都把韩伸叫做池水清。
user
蜀人大以为欢笑矣，时辈呼韩为池水清。
assistant