Note

<<<

/*

virtual void ivy_assume(bool truth,const char *msg){ if (!truth) { int i; __ivy_out << "assumption_failed(\"" << msg << "\")" << std::endl; std::string::size_type pos = msg.find('.ivy'); char * path = ""; if (pos != std::string::npos) path = msg.substr(0, pos);

        char *lineNumber =0;
        char * command = "sed \'"<< lineNumber << "!d\'"  <<  path;

        if (system(NULL)) i=system(command);
        else exit (EXIT_FAILURE);
        std::cerr << msg << ": error: assumption failed\\n";
        __ivy_exit(1);
    }
}

const quic_version_vals[] = { { 0x00000000, "Version Negotiation" }, { 0x51303434, "Google Q044" }, { 0x51303530, "Google Q050" }, { 0x54303530, "Google T050" }, { 0x54303531, "Google T051" }, { 0xfaceb001, "Facebook mvfst (draft-22)" }, { 0xfaceb002, "Facebook mvfst (draft-27)" }, { 0xfaceb00e, "Facebook mvfst (Experimental)" }, { 0xff000004, "draft-04" }, { 0xff000005, "draft-05" }, { 0xff000006, "draft-06" }, { 0xff000007, "draft-07" }, { 0xff000008, "draft-08" }, { 0xff000009, "draft-09" }, { 0xff00000a, "draft-10" }, { 0xff00000b, "draft-11" }, { 0xff00000c, "draft-12" }, { 0xff00000d, "draft-13" }, { 0xff00000e, "draft-14" }, { 0xff00000f, "draft-15" }, { 0xff000010, "draft-16" }, { 0xff000011, "draft-17" }, { 0xff000012, "draft-18", "0xef4fb0abb47470c41befcf8031334fae485e09a0" }, { 0xff000013, "draft-19" }, { 0xff000014, "draft-20" }, { 0xff000015, "draft-21" }, { 0xff000016, "draft-22" }, { 0xff000017, "draft-23", "0xc3eef712c72ebb5a11a7d2432bb46365bef9f502"}, { 0xff000018, "draft-24" }, { 0xff000019, "draft-25" }, { 0xff00001a, "draft-26" }, { 0xff00001b, "draft-27", "0xc3eef712c72ebb5a11a7d2432bb46365bef9f502" }, { 0xff00001c, "draft-28" }, { 0xff00001d, "draft-29" , "0xafbfec289993d24c9e9786f19c6111e04390a899"}, { 0xff00001e, "draft-30" }, { 0xff00001f, "draft-31" }, { 0xff000020, "draft-32", "0xafbfec289993d24c9e9786f19c6111e04390a899"}, { 0, NULL } };*/