assertEquals("d$1_NS", a.allocateId("d$1"));
assertEquals("d_NS", a.allocateId("d"));
assertEquals("d_NS$0", a.allocateId("d"));
assertEquals("d_NS$1", a.allocateId("d"));
assertEquals("d_NS$2", a.allocateId("d"));
assertEquals("d_NS$3", a.allocateId("d"));
assertEquals("d$1_NS$0", a.allocateId("d$1"));
// This is very degenerate, and maybe something that needs fixing.