A simpler Nock interpreter