/* See LICENSE file for copyright and license details. */
#ifndef TEST
#include "common.h"


extern inline LIBNORMALFORM_SENTENCE *(libnormalform_nandl_checked)(size_t, LIBNORMALFORM_SENTENCE *, ...);


#else

#define USE_CHECKED_VARARGS
#include "libnormalform_nand.c"

#endif