contract C =
  function
    g(1) = 2
    f(2) = 3
    h(1) = 123