CARME-M4 memory pool manager library