《三国志·吴书·三嗣主传》
又有吴兴阳羡山有一块空心石，长十余丈，名叫 石室 ，地方官员上表说是祥瑞之物。
又吴兴阳羡山有空石，长十馀丈，名曰石室，在所表为大瑞。
There is also a hollowed-out stone in Yangxian Mountain in Wuxing; it is more than ten zhang long and named “Stone Chamber.” The local officials reported this as an auspicious object to the throne.