diff --git a/docs/project-syntax-example/server.zrl b/docs/project-syntax-example/server.zrl
index d871529..11c047b 100644
--- a/docs/project-syntax-example/server.zrl
+++ b/docs/project-syntax-example/server.zrl
@@ -1,16 +1,16 @@
 use "common.ztl";
 
-fn main(argc real, argv str[]) {
-  let s = Server("tcp://0.0.0.0:25565");
-  let running = true;
-  let players = [Player("user", [0., 0., 0.], RED)];
+fn main(i32 argc, str[] argv) {
+  Server s("tcp://0.0.0.0:25565");
+  bool running = true;
+  Player[] players = [Player("user", [0., 0., 0.], RED)];
   while (running) {
-    if (let client = s.accept("players")) {
-      if (let message = client.get()) {
-        if (message == "close") {
+    if (Client client = s.accept("players")) {
+      if (Message message = client.get()) {
+        if (message.t == "close") {
           client.close();
           running = false;
-        } else if (message == "players") {
+        } else if (message.t == "players") {
           client.write(players);
         } else {
           print("unknown message {message}");