@() @main("Welcome to Play") {

Welcome to Play!

}