c2ffi handling va_list