Experimenting with Counters in Trident