/*
 * Work around a change in the ORCA/C libraries: function va_end
 * is now __va_end, which breaks some GNO/ME libraries.
 */

#include <stdarg.h>

#undef va_end

void va_end (va_list ap)
{
   __va_end (ap);
}