@clacke
Not convinced. If anything, C is very detached from the underlying hw (while simultaneously being a high-level assembler)? Hence all the UB.
Even x86 managed to migrate ABI from "everything is on the stack" to err, "no, actually, registers are worth paying for".