..........，所谓秦得百二，并吞诸侯也。是以王元说隗嚣曰：请以一丸泥，东封函谷关，图王不成，其弊足霸矣。郭缘生《记》曰：汉末之乱，魏武征韩遂、马超，连兵此地。今际河之西，有曹公垒。道东原上，云李典营。义熙十三年，王师曾据此垒。《西征记》曰：沿路逶迆，入函道六里，有旧城，城周百余步，北临大河，南对高山。姚氏置关以守峡，宋武帝入长安，檀道济、王镇恶，或据山为营，或平地结垒，为大小七营，滨带河险，姚氏亦保据山原陵阜之上，..........