#include <stdio.h>
#include <stdio2.h>


void main(int i) {
  i++;
}