Load file containing definition of macros PROG1 and PROG2.
Load file containing definition of macros PROG1 and PROG2.

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