exit status from the preceding system call
Major Section:  PROGRAMMING

This function returns two values, (mv status state). The first is the status returned by the most recent invocation of function sys-call; see sys-call. The second is the ACL2 state object, which is also the input to this function.

The function sys-call makes a system call to the host operating system using a function supplied ``under the hood'' by the underlying Lisp system. The status value is the value returned by that Lisp function, which may well be the same numeric value returned by the host operating system for the underlying system call. For more information, see sys-call.