void getUidChars(uint8_t uid[], uint8_t uidLength, char* result, const unsigned result_length) {
  char part[] = {};
  for (int i = 0; i < uidLength; i++) {
    sprintf(part, "%02x", uid[i]);
    strcat(result, part);
  }
}