PMT_COUNTER_NAME_SIZE_BYTES
if (strlen(name) >= PMT_COUNTER_NAME_SIZE_BYTES) {
printf("%s: name has to be at most %d characters long\n", __func__, PMT_COUNTER_NAME_SIZE_BYTES);
char name[PMT_COUNTER_NAME_SIZE_BYTES];