@(user: User) @main("User " + user.name) {

User @user.name

}