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