Please, change this to uint32_t, void* as identifier is really ugly.