debugging test.sv