void execute(int* res, int* src1Dat, int* src2Dat) ;The arguments are the address to which the result should be written and the base addresses of the local segments of the source arrays. The latter should point to vectors of the locally held elements.