Some random Dagger examples