2.   c: Context
    3.   n: Node
    5. proc foo(c, n) = ...
    6. proc bar(c, n, counter) = ...
    8. proc mixedMode(c, n; x, y: int) =
    9.   # 'c' is inferred to be of the type 'Context'