init{
    fishingBoat := "TheFishingBoatIsSailing"
}

channel CIO{
    out captain(cp:Str, row(s:Str)) == s
}

channel C1{
    in captain(cp1:Str, row(s2)) == s2
	out fishingBoatAdapter(fa:Str, sail(s2)) == s2
}

channel C2{
    in fishingBoatAdapter(fa2:Str, sail(s3)) == s3
	out fishingBoat(fb2:Str, sail(s3)) == s3
}