Function z3_sys::vsnprintf

pub unsafe extern "C" fn vsnprintf(
    arg1: *mut c_char, 
    arg2: size_t, 
    arg3: *const c_char, 
    arg4: va_list
) -> c_int