《全上古三代秦汉三国六朝文·全汉文》辑《蜀王本纪》：“天为蜀王生五丁力士，能徙蜀山。王薨，五丁辄立大石，长三丈，重千钧，号曰石笋，千人不能动，万人不能移。”按杜甫《石笋行》诗云：“君不见益州城西门，陌上石笋双高蹲；古来相传是海眼，苔藓蚀尽波涛痕。”即此。《刘禹锡集》卷四《成都府新修福成寺记》云：“益城右门衔大逵，坦然西驰，曰石笋街。”即其地也。街名至今犹存，在成都市西门外。参见“五丁力士”。
《全上古三代秦汉三国六朝文·全汉文》辑《蜀王本纪》：“天为蜀王生五丁力士，能徙蜀山。王薨，五丁辄立大石，长三丈，重千钧，号曰石笋，千人不能动，万人不能移。”按杜甫《石笋行》诗云：“君不见益州城西门，陌上石笋双高蹲；古来相传是海眼，苔藓蚀尽波涛痕。”即此。《刘禹锡集》卷四《成都府新修福成寺记》云：“益城右门衔大逵，坦然西驰，曰石笋街。”即其地也。街名至今犹存，在成都市西门外。参见“五丁力士”。