module "Main" {
  inside "main" {
    tick "\"World\"" 		[my tag];
  }
}