```from amaranth.sim import Simulator
from buttontoled import ButtonToLed

dut = buttontoled.ButtonToLed()
async def testbench(ctx):
    await ctx.delay(1e-6)
    ctx.set(dut.button, 1)
    await ctx.delay(1e-6)
    ctx.set(dut.button, 0)
    await ctx.delay(1e-6)

sim = Simulator(dut)
sim.add_testbench(testbench)
with sim.write_vcd("buttontoled.vcd"):
    sim.run()```  this is my current testbench code , so i think I inported the right file?