Major Section: ACL2-BUILT-INS
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
which is also the input to this 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.