“马谡啊……”张华似乎想到了什么，转头问陈寿，“我记得令尊曾经也是马谡部下吧？”
“正是，先父当时也参加了街亭之战，任参军，因为战败而被马谡株连，受过髡刑。”
张华“唔”了一声，似是很惋惜地抖动了一下手里的纸：“可惜啊，这写得稍嫌简略了点，如果令尊还健在的话，相信还能补充更多的细节。”
“先父也曾经跟我提过街亭之事，他说若我真的有幸出任史官，他就将他所知道的街亭告诉我。不过很可惜，他已经过世了，那时候我还不是着作郎。”
陈寿说得很平静，张华知道他这个人就是这样子，和他的文笔一样简约，而且不动声色。
“不过……”陈寿又像是想起来了什么，“家兄陈德倒也听过一些传闻……可惜他在安汉老家，不及询问了。”
张华点点头，对这件事也不十分放在心上，他把稿纸放回到凭几上，笑着说：“好了，我也不打扰你了，继续吧。以后这《晋书》恐怕也是要你来写呢，呵呵。”
然后他和陈寿拜别，推门离去。陈寿送走了张华之后，坐回到凭几前，抚平纸张，呵了呵有些冻硬的笔尖，继续写道：“……亮进无所据，退军还汉中。谡下狱物故，亮为之流涕，良死时年三十六，谡年三十九。”
写到这里，他忽然心有所感，不由得转头看了看窗外阴霾的天空；不知为什么，整个人陷入了一种奇妙的沉思。
（附记）
关于街亭
街亭之战发生于蜀汉建兴六年、曹魏太和二年、公元228年，战役的大背景是诸葛亮第一次北伐中原。
当时蜀汉的战略是以赵云、邓芝的佯攻部队在斜谷吸引住曹真军团，而蜀军的主力则在诸葛亮亲自指挥下从祁山一线向魏国军事力量薄弱的陇西地带展开突袭，以此达到声东击西、出其不意的效果，力求在魏国作出反应之前占领整个陇西地带。
从地图上来看，东西走向的秦岭和南北走向的陇山（今六盘山）形成一个倒立的“丁”字，将陇西、汉中与关中三个地区彼此分割开来。隔离在魏国关中地区与陇西地区之间的是陇山山脉，如果曹魏要从关中对陇右派出增援，势必要经过位于陇山中段的略阳，也就是街亭的所在地。从蜀军的角度说，也必须要控制住街亭，才能确保魏军增援部队无法及时进入陇西战场，从而争取到时间清除掉魏军在陇西的势力。
《汉书·扬雄解嘲》云：“（陇山）响若坻颓。应劭曰：天水有大坂，名陇山，其旁有崩落者，声闻数百里，故曰坻颓。又曰：其坂九回，上者七日乃越，上有清水四注。称陇山其坂九回，上者七日乃过，上有清水四注而下。”足见陇山之险峻，以三国时代的技术能力，大兵团不可能直接翻越，只能取道街亭，反证街亭位置之重要。
蜀军对街亭给予了足够的关注。自诸葛亮祁山进入战场后，就将整个兵团分成了三部分：魏延、吴懿负责攻打上邽、冀城、西县，其任务是尽快平定陇西；马谡、王平、高详则被派往街亭，以防备魏军的增援部队威胁蜀军侧翼；诸葛亮则作为战略总预备队驻屯在西城附近。
任命马谡为阻援军团的统帅，这个人事决策在当时引起了很大的争议。《三国志·蜀书·马谡传》里记“时有宿将魏延、吴懿等，论者皆言以为宜令为先锋，而亮违众拔谡，统大众在前”，说明诸葛亮有意提拔这位亲信，希望马谡能借用此次机会获得实战功绩。但是可以想象，一线将领们对于这样一位空降而来的指挥官必然是会心怀不满的。
据洪亮吉、范文澜等史地学家考证，确认街亭即在今天水秦安县东北部。具体处所，如《秦安县志》所述，即今日之龙山——“断山，其山当略阳之街，截然中处，不与众山联属，其下为联合川，即马谡覆军之处。乾隆十四年，秦安知县蒋允嫌其名不祥，改称龙山。”
现今龙山脚下的陇城镇即为当年的街亭。陇城镇位宁距秦安县城东北40公里的一条宽约2公里、长达5公里左右的川道北段开阔处。由于镇西河谷中雄峙八方的龙山，山高谷深，形势险要，又有清水河挡道，关陇往来只有通过固关峡，翻越陇坂；沿马鹿-龙山-陇城镇一线行走，是由长安到天水唯一较坦荡的路。当年马谡驻扎的驻地海拔二百多米，方圆数千平方米，顶部能容万人，形似农家麦草堆的麦积崖；西北2.5公里的薛李川中，发现的一张铸有“蜀”字的弩机，现存甘肃省博物馆。
当时蜀军在街亭附近的具体部署是：马谡、王平、李盛、张休、黄袭等人率约两万人封锁关陇大道，而高详则率一支偏军驻扎在街亭北方的列柳城，防止马谡部侧翼被袭。
关于两位主帅马谡与王平的矛盾，史书并无明文记载。但是马谡作为丞相身边的高级参谋兼亲信、从来不曾参与过实战的精英人士，一下子空降为老将王平的顶头上司，难免会引起生性“性狭侵疑”（《蜀书·王平传》）的王平不满，进而产生矛盾。从心理学角度来说，这种可能性很大。
对于蜀汉的进攻，曹魏在最初的震惊过去之后，立刻作出了反应，派遣右将军张合及步骑五万前往增援。而张合的部队经过街亭的时候，恰好碰到了前来阻击的马谡。
关于街亭之战，史书记载都十分简略。《三国志·明帝纪》只说：“右将军张合击亮於街亭，大破之。亮败走，三郡平。”《三国志·张合传》：“（合）遣督诸军，拒亮将马谡于街亭。谡依阻南山，不下据城。合绝其汲道，击，大破之。”《三国志·诸葛亮传》：“亮使马谡督诸军在前，与合战于街亭。谡违亮节度，举动失宜，大为合所破。”《马谡传》：“谡，统大众在前，与魏将张合战于街亭，为合所破，士卒离散。”《王平传》：“谡舍水上山，举措烦扰，平连规谏谡，谡不能用，大败於街亭。众尽星散，惟平所领千人，鸣鼓自持，魏将张合疑其伏兵，不往逼也。”《资治通鉴》所载材料不出前引内容。
综合上面各项记载，可以整理出街亭之战的大致脉络：对于张合大军的出现，马谡并没有选择依城死守，而是将部队移往南山——也就是海拔两百米高的麦积崖——进行防守。王平对此屡次进行规劝，但是马谡并没有听从，结果被张合切断了水道，导致全军崩溃。幸亏王平在后摇旗呐喊，张合怕有埋伏而没有深入追击，蜀军才免于被全歼的命运。
这里就有几个疑点。首先一点，马谡“依阻南山，不下据城”的决策其实并不能说是完全错误的。街亭位于魏国纵深之地，本身又是小城，可以想象其规模和坚固程度并不适合固守，何况狭窄的关陇通道到了街亭这一段，就豁然变宽到2公里左右；以马谡的兵力，在这种宽阔地带下难以与张合的五万大军相对抗。如果他不舍城上山，而是当道扎营，无险可守，很可能会输得更惨。
《三国志·明帝纪》注引《魏书》：“是时朝臣未知计所出，帝曰：‘亮阻山为固，今者自来，既合兵书致人之术；且亮贪三郡，知进而不知退，今因此时，破亮必也。乃部勒兵马步骑五万拒亮。’”也就是说，张合自洛阳开出的时间，与诸葛亮自祁山进入陇西的时间大致相当。洛阳距离街亭约700公里，而祁山距街亭约400公里；但是魏军走的是境内坦途大道，而蜀军则是在敌境之内，要花时间占领西县并确保该地区无残余的魏军干扰补给线，然后方能继续北进，所以张合和马谡抵达街亭的时间相差应该不会太长。换言之，马谡未必有时间去构筑坚固的防御工事——而这对于坚守是绝对必要的。
于是可以想象，马谡抵达街亭后的数日之内，张合的增援部队就已经逼近街亭。马谡认为没有足够的时间来构筑工事，于是果断决定全军移往麦积崖扎营——或者说他从一开始就预见到在街亭大道驻守的难度，直接将大营扎到了山上。
这并不意味着让道于敌。马谡即使在大道旁的山上扎营，张合也不敢继续朝陇西进军，马谡随时可以切断他的后路，并威胁他的侧后翼。因此张合的唯一选择就只有先消灭马谡，然后再西进——但是马谡驻守在麦积崖，有险可守，想消灭他绝非易事。也就是说，马谡的“依阻南山，不下据城”只是选择了一个更容易防守的地点罢了，对于“阻援”的战略目的并无什么不利影响。
唯一的问题，就出在水源上，这个是马谡失败的关键。《张合传》说是“绝其汲道”，《王平传》说是“舍水上山”，两段记载略有些矛盾。按照后者的说法，马谡舍弃水源而跑到山上去——很难想象身为军事参谋这么多年的马谡会忽略水源问题。从陇山“上有清水四注”的地理特点来考虑，或许在其驻扎的高处或者不远处存在着水源，因此马谡才得以放心上山扎营。小说中就取这种可能性，而历史上真实如何则难以确实。
无论是“舍水上山”还是山上本来就有“汲水之道”，总之在街亭战役一开始的时候，这条水道就被张合切断了。究竟张合是如何切断的，以及马谡为什么对此没考虑周全，无法从史书上查到。小说中我将其设计为因为王平与马谡有矛盾，没有保护水源反而自己逃走，导致全军覆没。这是基于一种可能性的想象，没有史料予以佐证。
总之，马谡在街亭被击败了，张合的大部队进入了陇西地带，对蜀军形成了极大的威胁，而且关陇通道畅通之后，曹魏的后续部队可以源源不断地开进。蜀军倾国之兵不过十万，若形成消耗战的局面就等于必败；因此诸葛亮在一得知街亭战败后，为避免陇西成为蜀军的绞肉机，不得不下令全军撤退。蜀汉的第一次北伐就此落下帷幕。
关于马谡的结局
马谡的结局在《三国志》中的记载有些疑点。
《三国志·诸葛亮传》载“戮谡以谢众”，《资治通鉴·卷七十一》云“（亮）收谡下狱，杀之……亮既诛马谡及将军李盛，夺将军黄袭等兵”。这两处记载与一般的看法相同，认为马谡是因街亭之败而为诸葛亮所杀。