Use Unbounded_Strings temporarily since we don't know the input length

Known issue: must "put" before the loop. Why? No clue.