1980-08-03 /decus_20tap2_198111/01/decus/20-0040/cobstd.scm 1980-08-03 /decuslib20-02/01/decus/20-0040/cobstd.scm