孫登
The (648) "Book of Jin" () biography of Ruan Ji uses "changxiao" and "xiao" to describe his meeting with Sun Deng.