add RND() seed debug output also to CoCo config