1 2 3 4 5 6 7
procedure {:entrypoint} {:yields} main() { call A() | B(); } procedure {:yields} {:stable} A() {} procedure {:yields} {:stable} B() {}