Those are good examples: They could and should all use utf32 (especially the last one which is converting to utf32 in an unsafe way) - they're all of case 1 (though I guess the last one is incorrectly of case 2).

It's a sideline to the main purpose of this PR and could certainly be handled separately.