#[unsafe(no_mangle)]pub unsafe extern "C" fn patch_seq_shr(stack: Stack) -> StackExpand description
Logical shift right (zero-fill)
Stack effect: ( value count – result )
Shifts value right by count bits, filling with zeros. Returns 0 for
negative counts, counts >= 64, or any result that falls outside the
63-bit Int range. Logical-shifting a negative produces a u64 that
often exceeds I63_MAX; that case clamps to 0 rather than silently
truncating in the tagger.
§Safety
Stack must have two Int values on top