@()

@main("Welcome to Play") {
  <h1>Welcome to Play!</h1>
}