#include <stdio.h>

class x_t
{
public:
   x_t();
   x_t(FILE *);
};

int main()
{
   x_t x(stdin);
}