Support get of vpiIntVal from vec4 stack.