random-utilities

Some random utilities. (nothing interesting for now)