#include <ceev/lang.h>
#include <deque>
#include <iostream>

int main(int argc, char **argv) {
  if (argc != 2) {
    return 1;
  }
  std::deque<std::string> args;
  args.push_back(std::string(argv[1]));
  return read_file(args);
}