gtkwave3/contrib/pccts/support/set
