locate port P1 at "P1.fpp"
locate port P2 at "P2.fpp"

interface I {
    async input port p1: P1
    output port p2: P2
}