Function syscall_write 

#[unsafe(no_mangle)]
pub extern "C" fn syscall_write(
    fd: u32,
    write_buf: *const u8,
    nbytes: usize,
)

Write nbytes of data to the prover to a given file descriptor fd from write_buf.