_swigc__p_int    3735 source4/lib/wmi/wmi_wrap.c static swig_cast_info _swigc__p_int[] = {  {&_swigt__p_int, 0, 0, 0},{0, 0, 0, 0}};
_swigc__p_int    3756 source4/lib/wmi/wmi_wrap.c   _swigc__p_int,