@(user: String) @main(s"Welcome $user") {

You are logged in!

Log out!

}