@Test
public void testGetStack() {

	SymbolicAddressMap m1 = map1();
	assertEquals(m1.getStack(0),boundedSet("a","b"));
	m1.putStack(3,bsf2.top());
	assertEquals(m1.getStack(3),SymbolicAddressMap.top().getStack(3));
}