%Error: unknown:0: Testbench C set input 'clk' to value that overflows what the signal's width can fit Aborting...