You should use ```::std::libc::c_int``` instead of the longer path here.