@(message: String)(implicit request: RequestHeader) @main(message) {
}