ASSERT(("a"+"b")=="ab")
