void Machine::downloadSVG(std::string const& input) {
    std::string url = "https://dreampuf.github.io/GraphvizOnline/#";
    std::string s;
    std::ifstream in;
    in.open(input);
    while (!in.eof()) {
        getline(in, s);
        url += s;
    }
    std::string file = "image.svg";


    if (S_OK == URLDownloadToFile(NULL, url.c_str(), file.c_str(), 0, NULL))
    {

        std::cout << "Saved to" <<file << std::endl;



    }
    else {
        std::cout << "Nothing happened." << std::endl;
    }
}