@(renderTUI: String)

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