Indeed, good one. Didn't think about the existence of such huge variables. Not often that they're used.
So
char targetUID[9] = {0x04, 0x08, 0x7A, 0xFE, 0x04, 0x04, 0x15, 0x45, 0x00};
then becomes:
uint64_t targetUID = 0x04087AFE04041545;
Indeed, good one. Didn't think about the existence of such huge variables. Not often that they're used.
So
char targetUID[9] = {0x04, 0x08, 0x7A, 0xFE, 0x04, 0x04, 0x15, 0x45, 0x00};
then becomes:
uint64_t targetUID = 0x04087AFE04041545;