天为蜀王生五丁力士，能徙蜀山，王无五丁辄立大石，长三丈，重千钧，号曰石牛，千人不能动，万人不能移（《艺文类聚》七，《御览》八百八十八。）。