/* See LICENSE file for copyright and license details. */ #include <stdlib.h> int main(void) { return EXIT_FAILURE; }