PROTOCOL FOO
  CASE
    tag.a; INT
    tag.b; REAL32; REAL32
    tag.c
:

PROTOCOL BAR
  CASE
    tag.x
    tag.y
    tag.z
:

PROC foo (CHAN OF FOO foo, CHAN OF BAR bar)
  SEQ
    foo ! tag.a; 42
    foo ! tag.b; 1.2; 3.4
    foo ! tag.c
    bar ! tag.x
    bar ! tag.y
    bar ! tag.z
: