Use tshell to run a sub-program in the background; don't wait for it to finish and don't get any output from it. (never forks ACL2).
(tshell-run-background cmd) → nil
(defun tshell-run-background (cmd) (declare (xargs :guard (stringp cmd))) (let ((__function__ 'tshell-run-background)) (declare (ignorable __function__)) (cw "Warning: under-the-hood definition of ~s0 not installed?" __function__)))