initial begin: TEST_CASE #10 -> reset_trigger; end