Formatting
Use default pesudo-random seeding