Function patch_seq_args_init 

#[unsafe(no_mangle)]
pub unsafe extern "C" fn patch_seq_args_init(
    argc: i32,
    argv: *const *const i8,
)

Initialize command-line arguments from C-style argc/argv

Called once at program startup from main() before any Seq code runs.

Safety

• argc must accurately reflect the number of pointers in argv
• argv must contain argc valid, null-terminated C strings
• argv pointers must remain valid for the duration of this call