Walter Bright wrote: > There's no reason to syntactically mark a function as safe if the > compiler can verify it. Well, if you have a mix of safe and unsafe code, there is -- you want to tell the compiler to verify some stuff and ignore other stuff.