@(message: String)

@main("Welcome to Play") {
}