all HAMT and table tests succeed