#include saw::error_or real_main(int argc, char** argv){ using namespace saw; return make_void(); } int main(int argc, char** argv){ auto eov = real_main(argc, argv); if(eov.is_error()){ auto& err = eov.get_error(); std::cerr<<"Error: "<