def IFC1(params):
    dictOut = {'port4': m.Out(m.Bit)}
    return m.Product.from_fields('IFC1', dictOut)
def IFC1(params):
    dictOut = {'port4': m.Out(m.Bit)}
    return m.Product.from_fields('IFC1', dictOut)