Are we still have semantic fights about what exactly memory safety means? Why?