_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,