#include <stdlib.h>
#include <stdio.h>

int
main(int argc, char **argv)
{
  return (EXIT_SUCCESS);
}