HAMT insert test succeeds