1#include "pr10728-x.h"
2
3int main()
4{
5  X x = y();
6  return 0;		// marker 1
7}
8