Trim str by offsetting contents when there's leading data + writing a \0 at the trailing position. We use this in situation where the cost is negligible.
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected