Virtual machine runs some simple instructions correctly. Possible incorrect implementations present in branching and conditionals? Major debugging and testing required