Re: [armedbear-devel] Fixing PRINT.RANDOM-STATE.1