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