#include <iostream>

struct X {
    inline static int Xnum = 0;
    int num;
    X() : num{++Xnum}                { std::cout << "+X " << num << "\n"; }
    ~X()                             { std::cout << "-X " << num << "\n"; }
    X(const X& that) : num{that.num} { std::cout << "+X copy " << num << "\n"; }
    void operator=(const X& that)    { num = that.num; std::cout << "=X copy " << num << "\n"; }
};

auto throw_1() { throw 1; }

struct C {
    std::string f;
    C(std::string const& fn) : f{fn} { std::cout << "enter " << f << "\n"; }
    ~C()                             { std::cout << "exit " << f << "\n"; }
};

//-------------------------------------------------------
// 0x: Test one level of out and immediate throw
f00: ()         throws = { _:C="f00";  x: X;  f01(out x); }
f01: (out x: X) throws = { _:C="f01";  x=();  throw_1();  }

//-------------------------------------------------------
// 1x: Test multiple levels of out and intermediate throw
f10: ()         throws = { _:C="f10";  x: X;  f11(out x); }
f11: (out x: X) throws = { _:C="f11";         f12(out x); }
f12: (out x: X) throws = { _:C="f12";         f13(out x);  throw_1(); }
f13: (out x: X) throws = { _:C="f13";         f14(out x); }
f14: (out x: X) throws = { _:C="f14";  x=();  }

int main() {
    C c("main");
    try { f00(); } catch (int) {}
    std::cout << "\n";
    try { f10(); } catch (int) {}
}