use strict; my @protected_labels = ( 'devicenormative:Basic Facilities of a Virtio Device / Virtqueues / Virtqueue Interrupt Suppression', 'devicenormative:Basic Facilities of a Virtio Device / Virtqueues / Virtqueue Notification Suppression', 'devicenormative:General Initialization And Device Operation / Device Operation / Supplying Buffers to The Device / Virtqueue Notification Suppression', 'devicenormative:Virtio Transport Options / Virtio Over PCI Bus / PCI-specific Initialization And Device Operation / Virtqueue Interrupts From The Device', 'drivernormative:Basic Facilities of a Virtio Device / Virtqueues / Virtqueue Interrupt Suppression', 'drivernormative:Basic Facilities of a Virtio Device / Virtqueues / Virtqueue Notification Suppression', 'drivernormative:General Initialization And Device Operation / Device Operation / Supplying Buffers to The Device / Notifying The Device', 'drivernormative:General Initialization And Device Operation / Device Operation / Supplying Buffers to The Device / Updating idx', 'sec:Basic Facilities of a Virtio Device / Virtqueues / Virtqueue Interrupt Suppression', 'sec:General Initialization And Device Operation / Device Operation / Receiving Used Buffers From The Device', 'sec:Virtio Transport Options / Virtio Over PCI Bus / PCI-specific Initialization And Device Operation / Notifying The Device', 'sec:Virtio Transport Options / Virtio Over PCI Bus / PCI-specific Initialization And Device Operation / Virtqueue Interrupts From The Device', 'itm:General Initialization And Device Operation / Device Operation / Supplying Buffers to The Device / Place Buffers', 'itm:General Initialization And Device Operation / Device Operation / Supplying Buffers to The Device / Place Index', ); my $lstlisting=0; while (<>) { my $line = $_; if (m/%DIFDELCMD\s+<\s+\\begin\{lstlisting\}/) { $lstlisting=1; $line =~s/%DIFDELCMD\s+