// It's really necessary to clean up, since the program
// lifetime might not be the same as libginac.{so,dll} one
// (e.g. consider // dlopen/dlsym/dlclose sequence).
// It's really necessary to clean up, since the program
// lifetime might not be the same as libginac.{so,dll} one
// (e.g. consider // dlopen/dlsym/dlclose sequence).