Clean way to patch the std

user/shell/src/main.rs

@@ -1,8 +1,11 @@
 #![feature(custom_std)]
 
-fn main() -> isize {
+fn main() {
+    let a = std::env::args();
+    for a in a {
+        println!("Argument: {}", a);
+    }
     println!(
         "Hello from PIC program loaded dynamically with custom std and a better justfile, and syscalls ! "
     );
-    0
 }