python: convert UUID to a string which is a C unsigned char[16] initializer
<p>(in case you're curious about motivation: this will be used in a <a href="http://www.scons.org/" rel="nofollow">scons</a> build to generate a C file containing a GUID)</p>

<p>I found the question about <a href="http://stackoverflow.com/questions/534839/how-to-create-a-guid-in-python">generating a GUID in python</a>. But I don't really know much about programming python. Could someone help me convert this to a string of the form</p>

<pre><code>"{0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**, 0x**}"
</code></pre>

<p>where the **'s are filled in with the GUID bytes in 2-digit hex form?</p>

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

<p>I'm not sure what to use for the "???" above.</p>
