original vm instructions and syntax from the paper