Committed Checkpoint 04: Strings