/* empty file to avoid #include_next<stdarg.h> error */