Python interface to the sendfile(2) system call
