From C to Single Ownership and Memory Safety without Borrow Checking, Reference Counting, or Garbage Collection