Function patch_seq_push_string_bytes 

#[unsafe(no_mangle)]
pub unsafe extern "C" fn patch_seq_push_string_bytes(
    stack: Stack,
    ptr: *const u8,
    len: usize,
) -> Stack

Push a byte-clean string literal onto the stack (for compiler-generated code). Carries an explicit length so embedded NULs and arbitrary bytes flow through unchanged — this is the codegen target for Seq string literals after the byte-cleanliness landing.

Stack effect: ( – str )

Safety

ptr must point to at least len valid bytes. ptr may not be null unless len is zero.