return (*submit_proc)(aio); 
aio->reply_fd = reply_fd; if(aio_24) return submit_aio_24(type, io_fd, buf, len, offset, aio); else { return submit_aio_26(type, io_fd, buf, len, offset, aio); } 
int submit_aio(struct aio_context *aio){	return (*submit_proc)(aio);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/91acb21f084aa244f26839406ae7ed8aa3668058/aio.c/buggy/arch/um/os-Linux/aio.c