fst2vcd • help