contract C =
  type state = int

  entrypoint init(x) | "y" = 1