pub fn sub4lc( _src: impl Constant + LocalVariable + Fragment + Sized<4>, _dst: impl Constant + Literal + Fragment + Sized<4> ) -> impl Fragment + Program