allocator property

Allocator allocator
getter/setter pair

Implementation

Allocator allocator;