Add finally.
Add Prime_string.slice_from.