contract C =
  entrypoint f() =
    let z = 123
    {}{ [1 = 0] = z + 1 }
    2