VI_VV_EXT(4, int);