[OCR-dev] Is the tlsf allocator used by default ?