ASSERT((2*"a")=="aa")
