#include <iostream>
#include <fstream>
#include <string>

///////////////////////////////////////////////////////////////////////////////
//  Helper function reading a file into a string
///////////////////////////////////////////////////////////////////////////////
inline std::string 
read_from_file(char const* infile)
{
    std::ifstream instream(infile);
    if (!instream.is_open()) {
        std::cerr << "Couldn't open file: " << infile << std::endl;
        exit(-1);
    }
    instream.unsetf(std::ios::skipws);      // No white space skipping!
    return std::string(std::istreambuf_iterator<char>(instream.rdbuf()),
                       std::istreambuf_iterator<char>());
}

std::string read_from_file(char const* infile) {
  std::ifstream instream(infile);
  if (!instream.is_open()) {
    std::cerr << "Couldn't open file: " << infile << std::endl;
    exit(-1);
  }
  std::string str;
  std::getline(instream, str, '\0');
  return str;
}