end
+== Test ====================================================
+#ship stack : Stack
+#ship debug : Debug
+
+#expect 4
+#expect 3
+#expect 2
+#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;
+
+
+
+
== Contributors =========================================================
Adam Megacz <megacz@cs.berkeley.edu>