this is enough to run a few random tests