Operating systems usually only provide memory safety between processes. The operating system doesn&#x27;t protect a C program from overflowing its own buffers or making incorrect writes to the heap for example. OCaml&#x27;s memory safety means many of those types of bugs aren&#x27;t possible.