A very simple version of allowing for both gauges and counters