initial content for simulations
libs also needed for quickcheck