locate type T1 at "T1.fpp"
locate constant a at "a.fpp"
locate type T2 at "T2.fpp"

port P(x: T1, y: string size a) -> T2