The point isn't about abstracting away the machine, but about reducing the amount of code that has no safety guarantees.