PROC write(CHAN INT c, VAL INT x)
  c ! x
:

PROC main()
  CHAN INT c:
  SEQ
    write(c, 3)
    write(c!, 4)
    -- KROC accepts the following line, but Adam agrees (with Neil)
    -- that it shouldn't:
    write(c?, 5)
:
