This should probably have been sent to Dr. Boulanger, but the forums
at cSounds.com seem to be spammed very badly, to the extent of becoming
almost unusable. Also, when the Csound5 forum was opened, it was planned
that I will be the moderator on that forum, however this is apparently
not the case; I would really like to get rid of all those junk messages.