@* The main homepage *@ @main("SRP Example") { }