> [...] but you can't even write this, unfortunately:

> 	printf("%s", uid_to_string_buf(uid).str); /* not legal */

Actually, you can, in gcc.  We may not be willing to write our kernel
in gcc instead of C, but for software - ours or not - for which that is
an acceptable choice, this technique should be fine.

Perhaps unfortunately, this also means that our compiler will not catch
any mistaken such uses.

/~\ The ASCII				der Mouse
\ / Ribbon Campaign
 X  Against HTML	       mouse@rodents.montreal.qc.ca
/ \ Email!	     7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B