FLEXI-STREAMS now passes tests on 1.3.0-dev (was Re: [armedbear-devel] Gray streams bugs)