此文可以文白对照，推荐用读典籍APP查看。也可以直接尝试网页版应用。
渭水出首阳县首阳山渭首亭南谷，山在鸟鼠山西北。此县有高城岭，岭上有城，号渭源城，渭水出焉。三源合注，东北流迳首阳县西与别源合。水南出鸟鼠山渭水谷，《尚书·禹贡》所谓渭出鸟鼠者也。
瓦亭水又西南流，历僵人峡，路侧岩上有死人僵尸峦穴，故岫壑取名焉。释鞍就穴直上，可百余仞，石路逶迤，劣通单步。僵尸倚窟，枯骨尚全，惟无肤发而已。访其川居之士，云其乡中父老作童儿时，已闻其长旧传，此当是数百年骸矣。
魏明帝遣将军太原郝昭筑陈仓城，成，诸葛亮围之。亮使昭乡人靳祥说之，不下，亮以数万攻昭千余人，以云梯、冲车、地道逼射昭；昭以火射连石拒之，亮不利而还。今汧水对亮城，是与昭相御处也。