docs: function(sortedInputEvents, protoIRs) {
        var handledEvents = [];
        protoIRs.forEach(function(protoIR) {
          protoIR.associatedEvents.forEach(function(event) {
            if (handledEvents.indexOf(event) >= 0) {
              console.error('double-handled event', event.typeName,
                  parseInt(event.start), parseInt(event.end), protoIR);
              return;
            }
            handledEvents.push(event);
          });
        });
  
        sortedInputEvents.forEach(function(event) {
          if (handledEvents.indexOf(event) < 0) {
            console.error('UNHANDLED INPUT EVENT!',
                event.typeName, parseInt(event.start), parseInt(event.end));
          }
        });
      }