chare main {
  entry main();
};