Add: minor improvements to the handling of code sections;
Fix: a recent bug in handling returned value of channel::receive();