main (int argc, char **argv)
{
  dup2(STDOUT_FILENO, STDERR_FILENO); // redirect stderr to stdout