There are no further instructions for the virtual machine accompanying the following paper:

  Number: 21
  Authors: Caterina Urban and Antonine Miné
  Title: A Decision Tree Abstract Domain for Proving Conditional Termination