Is this guaranteed to be a no-op on every platform, which the string appended is ""?