contract C =
  using MyUndefinedNamespace

  entrypoint init() = ()