Extending FLeeC with a Lock-Free Memory Allocator