from amaranth import *
from amaranth.lib import data
from amaranth.lib import wiring
from amaranth.lib.wiring import In, Out