166e63ce3Schristos #include "pr10728-x.h"
266e63ce3Schristos 
main()366e63ce3Schristos int main()
466e63ce3Schristos {
5*26a53354Schristos   X x = y();
666e63ce3Schristos   return 0;		// marker 1
766e63ce3Schristos }
8