[selfmodruntime]

For 1) The necessary safety guarantees downgrade to the level available in C all the time.