Function patch_seq_tuck 

#[unsafe(no_mangle)]
pub unsafe extern "C" fn patch_seq_tuck(stack: *mut u64) -> *mut u64

Copy top value below second: ( a b – b a b )

Safety

Stack must have at least two values.