WriteDeputySpec is for a later CL.