I notice it's become fashionable to use lots of uint32_t in the toolkit headers. Is there a reason for this? It's not like we need to enforce a particular integer size for cross-platform communication... - Daniel