From fd576889fead883f6126ec25ce77abaf483b57ad Mon Sep 17 00:00:00 2001
From: Julien CLEMENT <julien.clement@epita.fr>
Date: Mon, 1 May 2023 13:55:21 +0200
Subject: [PATCH] cleaner main decompiler for brachio

Signed-off-by: Julien CLEMENT <julien.clement@epita.fr>
---
 jujure/static/brachiosaure/main.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/jujure/static/brachiosaure/main.c b/jujure/static/brachiosaure/main.c
index 5bca43c..9e74284 100644
--- a/jujure/static/brachiosaure/main.c
+++ b/jujure/static/brachiosaure/main.c
@@ -55,14 +55,14 @@ int32_t main(int32_t argc, char** argv, char** envp) __noreturn
             free(serial_img_data);
             free(an_interesting_output);
 
-            status = ((uint32_t)(err | ((int8_t)win == 0)));
+            status = err | (win == 0);
         }
     }
     else
     {
-        printf("Usage: %s <username> <username.p…", *(int64_t*)argv);
+        printf("Usage: %s <username> <username.p…", *argv);
     }
-    if (((argc != 4 || (argc == 4 && user_status == 0)) || ((argc == 4 && user_status != 0) && serial_status == 0)))
+    if (argc != 4 || user_status == 0 || serial_status == 0)
     {
         status = 1;
     }