/*
 * This file is empty because the counter primitive is
 * entirely implemented in a templated class in
 * bs_prim_mod_counter.h
 */