pub fn add2rs( _src: impl Constant + Register + Fragment + Sized<2>, _dst: impl Constant + StackVariable + Fragment + Sized<2>, ) -> impl Fragment + Program