String.intern is not interesting as it's only use in this specific case