gtkwave3/src/helpers
