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