Major Section: PROGRAMMING
Example: ACL2 !>:comp app ACL2 !>:set-compile-fns t
See comp and see set-compile-fns.
