A modulo 12 counter implemented in SystemC