士卒何草草，筑城潼关道。