Major Section: MISCELLANEOUS
This function is provided so that the user can call the garbage collector of
the host Lisp from inside the ACL2 loop. Specifically, a call of
translated into a call of a function below on the same arguments.
Allegro CL: excl:gc CCL ccl::gc CLISP ext:gc CMU Common Lisp system::gc GCL si::gbc LispWorks hcl::gc-generation [default argument list: (7) for 64-bit OS, else (3)] SBCL sb-ext:gcThe arguments, if any, are as documented in the underlying Common Lisp. It is up to the user to pass in the right arguments, although we may do some rudimentary checks.
This function always returns