otto@ modified lib/libc/stdlib/malloc.c: Move to a smaller rbytes buffer and skip a random part. Not to improve the random stream itself...