@(name: String)(email: String) @main(title="Registered!") {

Register

User @name has been successfully registered with email @email. Return }