/* wrapper: fix header */

#include <iprt/stdarg.h>