#include "pr10728-x.h"

int main()
{
  X* x = y();
  return 0;		// marker 1
}