工程兵的舊稱。