contract VSemi =
  record missing_brace = { x : int
  entrypoint foo() = ()