1 2 3 4 5 6
protocol opensNonexistent { parent opens Unicorn; child: __delete__(); state DEAD: send __delete__; };