A Virtual Machine for the IR1 language