Function patch_seq_report 

#[unsafe(no_mangle)]
pub unsafe extern "C" fn patch_seq_report()

At-exit report — called from generated main after scheduler_run

Safety

Safe to call from any context.