* Replaced MemoryManager by a simple wrapper.
  The version, even which should work with stdint memory manager,
  doesn't work. It's easier to wrap MemoryManager_XXX to malloc,
  calloc, realloc and free.
  Tested on AT90USB1287 and ATMEGA32U4