#include <stdio.h>


int
main (void)
{
  putc ('1', stderr);
  putc ('2', stderr);

  return 0;
}