void hs_judyl_free(void *ptr);