module M {
  port Duplicate(u: U32)
}

port Duplicate(u: U32)