fca096e2e1
at least. Note that srandomdev can't be used here since gawk preserve old seed value.
at least. Note that srandomdev can't be used here since gawk preserve old seed value.