/* See LICENSE file for copyright and license details. */
#ifdef TEST
#define USE_VARARGS_MACRO
#include "libnormalform_and.c"
#endif