use Concrete/String_ExternalMemoryOwnership_StackLifetime_ReadOnly.h in a few inline String methods