Add stuff on unsafety in the face of unsafePerformIO/IO-dependent free vars.