#include <sys/cdefs.h>

int main(int, char**)
{
    return 1;
}