gtkwave3/contrib/vermin
