To truncate one string to a shorter one I had to use:

let truncated_string = original_string.chars().take(16).collect:<String>();