val3             3590 source4/lib/wmi/wmi_wrap.c   int val3 ;
val3             3608 source4/lib/wmi/wmi_wrap.c   ecode3 = SWIG_AsVal_int(obj1, &val3);
val3             3612 source4/lib/wmi/wmi_wrap.c   arg3 = (int32_t)(val3);