The abstract machine in C is a concept, not an actual machine. The entire C compiler toolchain is designed to translate that abstract machine into machine code suitable for the target.