Corrections :

- replace size_t by void* in many places
- correct bug in region freeing code
Trying to track an annoying bug.