GCC instrumentation to VCD waveform hack