The search functionality needs JavaScript enabled
Construct a buffer manager with a given allocator.
Allocator allocator() @property;