#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div><div class="spec-doc"><p>In C string, unset the index of the first null character, i.e., end of string, when called by <code>unset_first_idx_of_null loc_to_string index_value mem</code>. This is unsound because the index can be assigned as <code>previous index + 1</code> that is a heuristic to keep string lengths in some loops.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-g