6.12.1 module_list 6.12.2 module_definedp 6.12.3 remove_module
module_list
module_definedp
remove_module