@(user: String, csrfToken: String) @main(user, csrfToken) {
}