xbt_dictelm_t xbt_dictielm_new(uintptr_t key, unsigned int hash_code,
uintptr_t content);
void xbt_dictelm_free(xbt_dictelm_t element);
xbt_dictelm_t xbt_dictielm_new(uintptr_t key, unsigned int hash_code,
uintptr_t content);
void xbt_dictelm_free(xbt_dictelm_t element);