The B Programming Language implemented in a Virtual Machine