Function nova_rt_io_stdout_write 

#[unsafe(no_mangle)]
pub unsafe extern "C" fn nova_rt_io_stdout_write(
    buf: *const NovaStr,
) -> i64

Write buf’s bytes to stdout. See [write_and_stash] for why this is one write call rather than a write_all loop, and [stash_count] for how the reported count crosses back into Nova.

Safety

buf must point to a live NovaStr.