python: преобразовать UUID в строку, которая является инициализатором C unsigned char [16]

Question

(на случай, если вам интересно узнать о мотивации: это будет использоваться в сборке scons для создания файла C, содержащего GUID)

Я нашел вопрос о генерации GUID в python . Но я не очень разбираюсь в программировании на Python. Может ли кто-нибудь помочь мне преобразовать это в строку вида

"{0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**}"

где ** заполнены байтами GUID в двухзначной шестнадцатеричной форме?

def getInitializer(someUUID):
    hexByteList = [??? for b in someUUID.bytes]
    return '{'+(', '.join(hexByteList))+'}'

Я не уверен, что использовать для "???" выше.

Answer 1

hex(ord(b))

...