Change exs64:seed/3 for more randomized seed