edit: I am not even more confident that cnvogel is correct instead of me. Check their comment, not this one. I thought "safe" just meant it wouldn't ever crash

edit: I am not even more confident that cnvogel is correct instead of me. Check their comment, not this one. I thought "safe" just meant it wouldn't ever crash or read or write to memory it shouldn't, and things like that, whereas correct means it meets some set of requirements exactly, and, because of this would probably also be safe. Which, is kind of backwards from what cnvogel said, and I don't have any reason for expecting myself to be more correct, so, I would suggest that you treat their comment to be more likely to be correct than mine. But if they are wrong this is what I think the difference is.