Second argument MAKE-THE-AST is a LIST of type specifiers.
Second argument MAKE-THE-AST is a LIST of type specifiers.

vtomole/SICL,clasp-developers/SICL,clasp-developers/SICL,clasp-developers/SICL,clasp-developers/SICL,vtomole/SICL,vtomole/SICL,vtomole/SICL