SYS-CALL-STATUS.html -- ACL2 Version 6.3

### SYS-CALL-STATUS

exit status from the preceding system call

    Major Section:  ACL2-BUILT-INS

This function returns two values, `(mv status state)`. The first is the status resulting from 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 numeric value returned by the host operating system for the underlying system call. For more information, see sys-call.