void rascal_shrink(void);

Releases all internally cached resources that are currently not being used. This function should not be called often, because that would cause performance penalty: the memory pool is constantly reused without the implication of memory allocation functions which saves time on thread safety (memory heap locking) and so on.