A Virtual Machine for C and its compiler.