Implementation of the Nock VM