err = os_write_file(aio_req_fd_w, &aio, sizeof(aio)); if(err == sizeof(aio)) 
err = os_write_file(aio_req_fd_w, &req, sizeof(req)); if(err == sizeof(req)) 
static int submit_aio_24(struct aio_context *aio){        int err;        err = os_write_file(aio_req_fd_w, &aio, sizeof(aio));        if(err == sizeof(aio))                err = 0;        return err;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/91acb21f084aa244f26839406ae7ed8aa3668058/aio.c/buggy/arch/um/os-Linux/aio.c