pub extern "C" fn runtime_copy_addr_to_byte_array( src: i64, dest_ba: i64, dest_off: i64, len: i64, )
Copy len bytes from src (Addr#) to dest_ba (ByteArray ptr) at dest_off.
len
src
dest_ba
dest_off