#expect 1
#expect 0
+debug.in: [*] take, deliver;
stack.push: [5] take, deliver; notify stack.pop;
+stack.pop: wait; [*] take, sendto debug.in;
+
0: sendto stack.push;
1: sendto stack.push;
2: sendto stack.push;
3: sendto stack.push;
4: sendto stack.push;
-stack.pop: wait; [*] take, sendto debug.in;
-debug.in: [*] take, deliver;
+
+