@Test
public void testHashCode() {

	assert(map1().hashCode() == map1().hashCode());
	assert(map1().hashCode() != map2().hashCode());
	assert(map1().hashCode() != SymbolicAddressMap.top().hashCode());
	assert(map2().hashCode() == map2().hashCode());
	assert(map2().hashCode() != SymbolicAddressMap.top().hashCode());
	assert(SymbolicAddressMap.top().hashCode() == SymbolicAddressMap.top().hashCode());
}