init{
    fishingBoat := "TheFishingBoatIsSailing"
}

channel CIO1 {
	out fishingBoat(fb:Str, sail(message:Str)) == message
}

channel C1{
	in fishingBoat(fb2:Str, sail(s2)) == s2
	out fishingBoatAdapter(fa:Str, sail(s2)) == s2
}

channel C2{
    in fishingBoatAdapter(fa2:Str, row(s3)) == s3
    out captain(cp1:Str, row(s3)) == s3
}