Function runtime_copy_addr_to_byte_array 

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.