工程兵的旧称。