Memory manager and  garbage-collector