For the time being I added a big FALL THRU in CAPITALS and explained why it falls through.

I remember thinking that this may be split in the future anyway, as the stream case needs to support a named channel as well (and I think I remember saying to myself that the stack fingerprint would be identical in that case, so this would not be EmptyStart* anymore)