code: function(midiToks) {
            if (midiToks.length > 0) {
              var t = midiToks.shift();
              var p = t.token;
              if (t.type === "number")
                p = t.intt;
              return p;
            }
            else
              return null;
          }
docs: var midiCmd = restOfString.split(' ')[0]; var midiParam = restOfString.substring(midiCmd.length+1);