implement String.intern