Permit_unmatched_virtual_intf

In reply to vonleewolff:

Does #(DW) evaluate to #(12) in all cases?