小说《三国演义》中，建兴八年秋，曹魏曹真、司马懿率领四十万大军伐蜀。诸葛亮派张嶷和王平去防守陈仓古道，却只给他们（）名士兵。