pub fn xpush32_many<E>(into: &mut E, srcs: impl Into<RegSet<XReg>>)where E: Extend<u8>,
encode
for src in srcs { xpush32 src }