[Fractdev] varargs.h versus stdarg.h