USB_QUIRK_ENVROOT
char envkey[sizeof(USB_QUIRK_ENVROOT) + 2]; /* 2 digits max, 0 to 99 */
snprintf(envkey, sizeof(envkey), USB_QUIRK_ENVROOT "%d", i);