#include #include int main() { int sum = patched::add(5, 3); std::printf("%d\n", sum); return 0; }