/* See LICENSE file for copyright and license details. */
#include <stdlib.h>

int
main(void)
{
	return EXIT_FAILURE;
}