@(user : User) @main("user") {
}