-void stat_add_int_distrib_tbl(distrib_tbl_t *tbl, int key, const counter_t *cnt) {
- stat_add_distrib_tbl(tbl, (const void *)key, cnt);
+void stat_add_int_distrib_tbl(distrib_tbl_t *tbl, int key, const counter_t *cnt)
+{
+ stat_add_distrib_tbl(tbl, INT_TO_PTR(key), cnt);