contract interface C =
  entrypoint f : () => unit