pragma(mangle) should not have any assumption for the given string content