a memory allocator for embedded systems (microcontrollers)