[simonask]

Just to nitpick, it's not "virtually" no UB, it's literally no UB.

(Barring compiler bugs, of course.)

[uecker]

And issues in the unsafe parts, which could cause UB in the safe part.

[School-Cotton]

You are right, thanks for the correction.