Function patch_seq_write_line 

#[unsafe(no_mangle)]
pub unsafe extern "C" fn patch_seq_write_line(stack: Stack) -> Stack

Write a string to stdout followed by a newline

Stack effect: ( str – )

Safety

Stack must have a String value on top

Concurrency

Uses may::sync::Mutex to serialize stdout writes from multiple strands. When the mutex is contended, the strand yields to the scheduler (doesn’t block the OS thread). This prevents RefCell borrow panics when multiple strands write concurrently.