x4                143 maint/gnulib/tests/test-hamt.c   Hamt_entry *x4 = make_element (4);
x4                144 maint/gnulib/tests/test-hamt.c   hamt1 = hamt_insert (hamt2, &x4);
x4                152 maint/gnulib/tests/test-hamt.c   hamt1 = hamt_remove (hamt2, &x4);