a few random utilities