external splice : Unix.file_descr -> Unix.file_descr -> int -> int
                   = "stub_splice"