(DIR) case_al
 (DIR) exe_old
 (DIR) loglan96
 (DIR) logpp
 (DIR) random_alg