counter_impl
struct counter_impl *impl = allocate();
struct counter_impl *impl = (struct counter_impl *)counter;