pub(crate) fn init_counterIncrement_setterinfo()