SOLVED: Interrupt queuing

Not exactly. For a given pin, there could be several interrupt sources. All pins support "pin change" interrupts; that is one source. A few pins support "external interrupts"; that is another source. (attachInterrupt uses "external interrupts")