"*ED-FUNCTIONS*"
"*MODULE-PROVIDER-FUNCTIONS*"
"WITH-TIMEOUT" "TIMEOUT"
+ "SEED-RANDOM-STATE"
+ "TYPEXPAND-1" "TYPEXPAND" "TYPEXPAND-ALL"
+ "DEFINED-TYPE-NAME-P" "VALID-TYPE-SPECIFIER-P"
;; stepping interface
"STEP-CONDITION" "STEP-FORM-CONDITION" "STEP-FINISHED-CONDITION"
"INTERPRETED-FUNCTION-DEBUG-NAME"
"INTERPRETED-FUNCTION-LAMBDA-LIST"
"INTERPRETED-FUNCTION-DEBUG-LAMBDA-LIST"
+ "INTERPRETED-FUNCTION-DECLARATIONS"
"INTERPRETED-FUNCTION-DOCUMENTATION"
"INTERPRETED-FUNCTION-BODY"
"INTERPRETED-FUNCTION-SOURCE-LOCATION"