; execve-ls.x -- Execute /bin/ls using fork + execve
;
; Usage:
;   sh x.sh -l rn -f examples/rn/execve-ls.x

(do
  (display "Forking and executing /bin/ls...\n")

  (let ((pid (syscall (syscall-id (lit fork)))))
    (if (= pid 0)
      ; Child process: exec /bin/ls
      (syscall (syscall-id (lit execve)) "/bin/ls" () ())
      ; Parent process: wait for child
      (do
        (syscall (syscall-id (lit wait4)) pid () 0 ())
        (display "Done.\n")))))