#include <stdio.h>
#include <string.h>
#include <stdlib.h>
int main( int argc, char **argv)
{
exit(EXIT_SUCCESS);
}