#include <string>

int
main (void)
{
  std::string header;
  return 0;
}